Action Transformations in the ACTRESS Compiler Generator

Given the action-semantic description of a source language, Actress generates a compiler. The generated compiler translates its source program first to an action, and then to object code. Transformations of the intermediate action greatly improve the efficiency of the object code. This paper studies these transformations.

[1]  Peter D. Mosses.  Action Semantics , 1986, ADT.

[2]  Peter D. Mosses,et al.  The use of action semantics , 1986, Formal Description of Programming Concepts.

[3]  Deryck Forsyth Brown,et al.  Actress: An Action Semantics Directed Compiler Generator , 1992, CC.

[4]  David A. Schmidt.  Detecting Stack-Based Environments in Denotational Definitions , 1988, Sci. Comput. Program..

[5]  David A. Schmidt,et al.  Category-Sorted Algebra-Based Action Semantics , 1990, Theor. Comput. Sci..

[6]  Hermano Perrelli de Moura,et al.  Action notation transformations , 1993 .

[7]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[8]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[9]  David A. Schmidt.  Detecting global variables in denotational specifications , 1985, TOPL.

[10]  Jens Palsberg,et al.  Provably Correct Compiler Generation , 1992 .

[11]  David A. Watt.  Programming language syntax and semantics , 1991, Prentice Hall International Series in Computer Science.

[12]  Neil D. Jones,et al.  A partial evaluator for the untyped lambda-calculus , 1991, Journal of Functional Programming.

[13]  David A. Schmidt,et al.  Action Semantics-Directed Prototyping , 1993, Comput. Lang..

[14]  Peter Fritzson,et al.  DML-a meta-language and system for the generation of practical and efficient compilers from denotational specifications , 1992, Proceedings of the 1992 International Conference on Computer Languages.