Abstract Compilation: a new implementation paradigm for static
analysis.
Dominique Boucher et Marc Feeley.
Proceedings of the 1996 Conference on Compiler Construction, Linkoping,
Suède, avril 1996.
For large programs, static analysis can be one of the most time-consuming phases of the whole compilation process. We propose a new paradigm for the implementation of static analyses that is inspired by partial evaluation techniques. Our paradigm does not reduce the complexity of these analyses, but it allows an efficient implementation. We illustrate this paradigm by its application to the problem of control flow analysis of functional programs. We show that the analysis can be sped up by a factor of 2 over the usual abstract interpretation method.
[DVI] [PS]
Un GC temps réel semi-compactant.
Danny Dubé, Marc Feeley et Manuel Serrano.
Actes des Journées Francophones des Langages Applicatifs 1996,
Val-Morin, Québec, Canada, 28-30 janvier 1996.
Un GC temps réel semi-compactant.
Danny Dubé, Marc Feeley et Manuel Serrano.
Université de Montréal, octobre 1995.
Un système pour l'optimisation globale de programmes d'ordre supérieur par
compilation abstraite séparée.
Dominique Boucher et Marc Feeley.
Université de Montréal, septembre 1995.
Construction Parallèle de l'Automate LR(0): une Application de Multilisp
à la Compilation.
Dominique Boucher et Marc Feeley.
Actes des 6ièmes Rencontres Francophones du Parallélisme, Lyon, France,
juin 1994.
Nous nous intéressons ici à la parallélisation des générateurs d'analyseurs syntaxiques LALR(1), tels YACC et Bison, et à leur implantation en Multilisp.
[PS]