Work

Cyclone: A Safe Dialect of C

Year: 2002

Type: article

Authors: Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yan-Ling Wang

Institution: AT&T (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1825457006

FWCI: 91.86

Cites: 25

Cited by: 673

Related to: 10