Cyclone User''s Manual, Version 0.1.3

Authors:
Dan Grossman;Greg Morrisett;Trevor Jim;Michael Hicks;Yanling Wang;James Cheney
Affiliations:
-;-;-;-;-;-
Venue:
Cyclone User''s Manual, Version 0.1.3
Year:
2001

Citing 0
Cited 2

Flow-sensitive type qualifiers

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Flow-insensitive type qualifiers

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 changes may have occurred before the release.