Abstract compilation: A new implementation paradigm for static analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1060, Issue , 1996, Pages 192-207

  Boucher, Dominique ^a   Feeley, Marc ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

Abstract interpretation; Compilation; Control flow analysis; Partial evaluation; Static analysis

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMS; MODEL CHECKING; PROGRAM COMPILERS;

ABSTRACT INTERPRETATIONS; COMPILATION; COMPILATION PROCESS; CONTROL FLOW ANALYSIS; EFFICIENT IMPLEMENTATION; FUNCTIONAL PROGRAMS; ITS APPLICATIONS; PARTIAL EVALUATION;

STATIC ANALYSIS;

EID: 84957684934     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61053-7_62     Document Type: Conference Paper

References (15)

1. A. V. Aho, R. Sethi and J. D. Ullman. Compilers. Principles, Techniques, and Toots. Addison-Wesley, 1986.
2. Andrew E. Ayers. Abstract Analysis and Optimization of Scheme. PhD thesis, MIT, September 1993.
3. Dominique Boucher and Marc Feeley. Un système pour l’optimisation globale de programmes d’ordre supérieur par compilation abstraite séparée. Technical report 992, Université de Montréal, September 1995.
4. 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–252.
5. Marc Feeley and Guy Lapalme. Using closures for code generation. Comput. Lang. 12, 47–66, 1987.
6. Matthew S. Hecht. Flow Analysis of Computer Programs. North-Holland, New York, 1979.
7. 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–363, 1986.
8. David A. Kranz. ORBIT: An Optimizing Compiler for Scheme. Ph.D. thesis, Yale University, 1988.
9. 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–106.
10. 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–115.
11. Alan Mycroft. Abstract Interpretation and Optimizing Transformations for Applicative Programs. Ph.D. thesis, University of Edinburgh, 1981.
12. Guillermo Juan Rozas. Taming the Y operator. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, 226–234, 1992.
13. Manuel Serrano. Control Flow Analysis: a compilation paradigm for functional languages. In Proceedings of SAC 95.
14. Manuel Serrano. Bigloo User’s Manual. Inria-Rocquencourt. March 1994.
15. Olin Shivers. Control-Flow Analysis of Higher-Order Languages. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, 1991.