Publisher
Open Publishing Association
Reference15 articles.
1. Run-Time Type Checking for Binary Programs;Burrows,2003
2. Cyclone: A Type-Safe Dialect of C;Grossman;C/C++ User's Journal,2005
3. The Semantics of the C Programming Language;Gurevich,1992