CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Top Cited Papers
- 28 March 2002
- book chapter
- Published by Springer Nature
- p. 213-228
- https://doi.org/10.1007/3-540-45937-5_16
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- CCuredPublished by Association for Computing Machinery (ACM) ,2002
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- The Modula--3 type systemPublished by Association for Computing Machinery (ACM) ,1989