Actress: An Action Semantics Directed Compiler Generator

We report progress on the development of a compiler generator based on action semantics. A number of components have been implemented in Standard ML. These can be fitted together to construct either an action notation compiler or a simple compiler generator. We also outline continuing research which is aimed at improving the quality of the compiler generator. A full version of this paper can be found in Brown et al. [2].

[1]  Lawrence Charles Paulson.  A compiler generator for semantic grammars , 1981 .

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

[3]  David A. Schmidt,et al.  Type Inference for Action Semantics , 1990, ESOP.

[4]  Mitchell Wand.  A semantic prototyping system , 1984, SIGPLAN '84.

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

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

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

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

[9]  Peter Lee.  Realistic compiler generation , 1989, Foundations of Computing Series.