{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T20:54:45Z","timestamp":1777582485480,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433699","type":"print"},{"value":"9783540459378","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45937-5_16","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:39:18Z","timestamp":1181165958000},"page":"213-228","source":"Crossref","is-referenced-by-count":361,"title":["CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs"],"prefix":"10.1007","author":[{"given":"George C.","family":"Necula","sequence":"first","affiliation":[]},{"given":"Scott","family":"McPeak","sequence":"additional","affiliation":[]},{"given":"Shree P.","family":"Rahul","sequence":"additional","affiliation":[]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R. M. Amadio","year":"1993","unstructured":"Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575\u2013631, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. The Modula-3 type system. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, pages 202\u2013212, January 1989.","DOI":"10.1145\/75277.75295"},{"key":"16_CR3","unstructured":"Microsoft Corporation. The AST Toolkit. \n                    http:\/\/research.microsoft.com\/sbt\/asttoolkit\/ast.asp\n                    \n                  ."},{"key":"16_CR4","unstructured":"Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-over.owa ttacks. In Proceedings of the 7th USENIX Security Conference, pages 63\u201378, January 1998."},{"key":"16_CR5","unstructured":"Edison Design Group. The C++ Front End. \n                    http:\/\/www.edg.com\/cpp.html."},{"key":"16_CR6","unstructured":"ISO\/IEC. ISO\/IEC 9899:1999(E) Programming Languages \u2014 C."},{"key":"16_CR7","unstructured":"BrianW. Kernighan and Dennis M. Ritchie. The C Programming Language (second edition). Prentice-Hall, Englewood Cliffs, N. J., 1988."},{"key":"16_CR8","unstructured":"Holger Kienle and Urs H\u00f6lzle. Introduction to the SUIF 2.0 compiler system. Technical Report TRCS97-22, University of California, Santa Barbara. Computer Science Dept., December 10, 1997."},{"key":"16_CR9","unstructured":"Bell Labs. ckit: A Front End for C in SML. \n                    http:\/\/cm.bell-labs.com\/cm\/cs\/what\/smlnj\/doc\/ckit\/overview.html\n                    \n                  ."},{"key":"16_CR10","unstructured":"Calvin Lin, Samuel Guyer, Daniel Jimenez, and Teck Bok Tok. C-Breeze. \n                    http:\/\/www.cs.utexas.edu\/users\/c-breeze\/\n                    \n                  ."},{"key":"16_CR11","unstructured":"Paul McJones and Andy Hisgen. The Topaz system: Distributed multiprocessor personal computing. In Proceedings of the IEEE Workshop on Workstation Operating Systems, November 1987."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"George C. Necula, Scott McPeak, and Westley Weimer. CCured: Type-safe retrofitting of legacy code. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, January 2002.","DOI":"10.1145\/503272.503286"},{"key":"16_CR13","unstructured":"Standard Performance Evaluation Corportation. SPEC 95 Benchmarks. July 1995. \n                    http:\/\/www.spec.org\/osg\/cpu95\/CINT95\n                    \n                  ."},{"key":"16_CR14","unstructured":"Robert Wilson, Robert French, Christopher Wilson, Saman Amarasinghe, Jennifer Anderson, Steve Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary Hall, Monica Lam, and John Hennessy. The SUIF compiler system: a parallelizing and optimizing research compiler. Technical Report CSL-TR-94-620, Stanford University, Computer Systems Laboratory, May 1994."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45937-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:26:31Z","timestamp":1550366791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45937-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433699","9783540459378"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45937-5_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}