{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:53Z","timestamp":1771951913039,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610533","type":"print"},{"value":"9783540499398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:13:15Z","timestamp":1330272795000},"page":"192-207","source":"Crossref","is-referenced-by-count":8,"title":["Abstract compilation: A new implementation paradigm for static analysis"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Boucher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Feeley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"14_CR1","unstructured":"A. V. Aho, R. Sethi and J. D. Ullman. Compilers. Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"14_CR2","unstructured":"Andrew E. Ayers. Abstract Analysis and Optimization of Scheme. PhD thesis, MIT, September 1993."},{"key":"14_CR3","unstructured":"Dominique Boucher and Marc Feeley. Un syst\u00e8me pour l'optimisation globale de programmes d'ordre sup\u00e9rieur par compilation abstraite s\u00e9par\u00e9e. Technical report 992, Universit\u00e9 de Montr\u00e9al, September 1995."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixed points. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, 1977, pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0096-0551(87)90012-9","volume":"12","author":"M. Feeley","year":"1987","unstructured":"Marc Feeley and Guy Lapalme. Using closures for code generation. Comput. Lang. 12, 47\u201366, 1987.","journal-title":"Comput. Lang."},{"key":"14_CR6","volume-title":"Flow Analysis of Computer Programs","author":"M. S. Hecht","year":"1979","unstructured":"Matthew S. Hecht. Flow Analysis of Computer Programs. North-Holland, New York, 1979."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Paul Hudak. A Semantic Model of Reference Counting and its Abstraction (Detailed Summary). In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, 351\u2013363, 1986.","DOI":"10.1145\/319838.319876"},{"key":"14_CR8","unstructured":"David A. Kranz. ORBIT: An Optimizing Compiler for Scheme. Ph.D. thesis, Yale University, 1988."},{"key":"14_CR9","unstructured":"Mark Leone and Peter Lee. Lightweight Run-Time Code Generation. In Proceedings of the 1994 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp. 97\u2013106."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"I-P. Lin and J. Tan. Compiling Dataflow Analysis of Logic Programs. In Proceedings of the 1992 ACM Conference on Programming Language Desing and Implementation, pp. 106\u2013215.","DOI":"10.1145\/143103.143123"},{"key":"14_CR11","unstructured":"Alan Mycroft. Abstract Interpretation and Optimizing Transformations for Applicative Programs. Ph.D. thesis, University of Edinburgh, 1981."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Guillermo Juan Rozas. Taming the Y operator. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, 226\u2013234, 1992.","DOI":"10.1145\/141471.141545"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Manuel Serrano. Control Flow Analysis: a compilation paradigm for functional languages. In Proceedings of SAC 95.","DOI":"10.1145\/315891.315934"},{"key":"14_CR14","volume-title":"Bigloo User's Manual","author":"M. Serrano","year":"1994","unstructured":"Manuel Serrano. Bigloo User's Manual. Inria-Rocquencourt. March 1994."},{"key":"14_CR15","volume-title":"Ph.D. thesis","author":"O. Shivers","year":"1991","unstructured":"Olin Shivers. Control-Flow Analysis of Higher-Order Languages. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, 1991."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:52Z","timestamp":1605629032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}