Increasing Modularity and Language-Independency in Automatically Generated Compilers

Le but de cet article est d'introduire une methode pour obtenir un compilateur modulaire tel: 1) qu'il offre un traitement semantique base sur des concepts fondamentaux de langage et de compilation; 2) qu'il soit facilement modifiable et adaptable a des langages differents mais en rapport; 3) qu'il ait des combinaisons de modules independants du langage; 4) qu'il soit soumis a une generation de compilateur automatique

[1]  Hartmut Ehrig,et al.  Parameter Passing in Algebraic Specification Languages , 1981, Theor. Comput. Sci..

[2]  Mahadevan Ganapathi.  Retargetable code generation and optimization using attribute grammars , 1980 .

[3]  James W. Thatcher,et al.  More on Advice on Structuring Compilers and Proving them Correct , 1979, Theor. Comput. Sci..

[4]  David F. Martin,et al.  An algebraic formulation of knuthian semantics , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[5]  Robert Giegerich,et al.  A truly generative semantics-directed compiler generator , 1982, SIGPLAN '82.

[6]  John McCarthy,et al.  Correctness of a compiler for arithmetic expressions , 1966 .

[7]  Marie-Claude Gaudel.  Correctness Proof of Programming Language Translations , 1982, Formal Description of Programming Concepts.

[8]  Joseph A. Goguen,et al.  Algebraic Denotational Semantics Using Parameterized Abstract Modules , 1981, ICFPC.

[9]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[10]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[11]  James W. Thatcher,et al.  Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[12]  Harald Ganzinger,et al.  Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability , 1983, TOPL.

[13]  Manfred Broy,et al.  Algebraic Definition of a Functional Programming Language and Its Semantic Models , 1983, RAIRO Theor. Informatics Appl..

[14]  Susan L. Graham,et al.  A new method for compiler code generation , 1978, POPL '78.

[15]  Mitchell Wand.  Semantics-directed machine architecture , 1982, POPL '82.

[16]  Stephen N. Zilles,et al.  Introduction to Data Algebra , 1979, Abstract Software Specifications.

[17]  Peter D. Mosses.  A Constructive Approach to Compiler Correctness , 1980, ICALP.

[18]  Henning Christiansen,et al.  Control Flow Treatment in a Simple Semantics-Directed Compiler Generator , 1982, Formal Description of Programming Concepts.

[19]  F. Lockwood Morris,et al.  Advice on structuring compilers and proving them correct , 1973, POPL.

[20]  Gerhard Goos,et al.  An Attribute Grammar for the Semantic Analysis of Ada , 1982, Lecture Notes in Computer Science.

[21]  Peter D. Mosses,et al.  Abstract Semantic Algebras , 1982, Formal Description of Programming Concepts.

[22]  Ellis Horowitz,et al.  Abstract data types and software validation , 1978, CACM.

[23]  Hartmut Ehrig,et al.  Parameter passing commutes with implementation of parameterized data types , 1982 .