CCured in the real world
- 9 May 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (5) , 232-244
- https://doi.org/10.1145/781131.781157
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- CCuredPublished by Association for Computing Machinery (ACM) ,2002
- Physical type checking for CPublished by Association for Computing Machinery (ACM) ,1999
- A theory of type qualifiersPublished by Association for Computing Machinery (ACM) ,1999
- A sound polymorphic type system for a dialect of CScience of Computer Programming, 1998
- A practical soft type system for schemeACM Transactions on Programming Languages and Systems, 1997
- Efficient detection of all pointer and array access errorsACM SIGPLAN Notices, 1994
- A practical approach to type inference for EuLispHigher-Order and Symbolic Computation, 1993
- Global tagging optimization by type inferencePublished by Association for Computing Machinery (ACM) ,1992
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Soft typingPublished by Association for Computing Machinery (ACM) ,1991