Now showing items 1-2 of 2

    • Cyclone User's Manual, Version 0.1.3 

      Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Michael; Wang, Yanling; Cheney, James (Cornell University, 2001-11-16)
      The current version of this manual should be available at http://www.cs.cornell.edu/projects/cyclone/ and http://www.research.att.com/projects/cyclone/. The version here describes Cyclone Version 0.1.3, although minor ...
    • Formal Type Soundness for Cyclone's Region System 

      Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James (Cornell University, 2001-11-30)
      Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without sacrificing type-safety. ...