Actress: An action semantics directed compiler generator

  • Deryck F. Brown
  • Hermano Moura
  • David A. Watt
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 641)


We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of modules, written in SML, that can be composed to construct either an action notation compiler or a simple compiler generator. We also outline current and future developments that will improve the quality of the generated compilers.


  1. 1.
    D. F. Brown. Sort inference in action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1992. In preparation.Google Scholar
  2. 2.
    P. Lee. Realistic Compiler Generation. MIT Press, Cambridge, Massachusetts, 1989.Google Scholar
  3. 3.
    P. D. Mosses. SIS — semantics implementation system, reference manual and user guide. Departmental Report DAIMI MD-30, Computer Science Department, Aarhus University, Denmark, 1979.Google Scholar
  4. 4.
    P. D. Mosses. Action Semantics. Cambridge University Press, Cambridge, England, 1992. In preparation.Google Scholar
  5. 5.
    P. D. Mosses and D. A. Watt. The use of action semantics. In M. Wirsing, editor, Formal Description of Programming Concepts III, pages 135–163. North Holland, Amsterdam, Netherlands, 1987.Google Scholar
  6. 6.
    H. Moura. An implementation of action semantics. Research report, Department of Computing Science, University of Glasgow, Scotland, 1992. In preparation.Google Scholar
  7. 7.
    L. Paulson. A compiler generator for semantic grammars. PhD thesis, Stanford University, California, 1981.Google Scholar
  8. 8.
    D. A. Schmidt. Detecting global variables in denotational specifications. ACM Transactions on Programming Languages and Systems, 7(2):299–310, April 1985.CrossRefGoogle Scholar
  9. 9.
    D. A. Schmidt. Detecting stack-based environments in denotational definitions. Science of Computer Programming, 11:107–131, 1988.Google Scholar
  10. 10.
    D. A. Schmidt and S. Even. Type inference for action semantics. In N. Jones, editor, ESOP '90, 3rd European Symposium on Programming, pages 118–133, Copenhagen, Denmark, 1990. Springer-Verlag, Berlin, Germany. Lecture Notes in Computer Science, Volume 432.Google Scholar
  11. 11.
    M. Wand. A semantic prototyping system. SIGPLAN Notices (SIGPLAN '84 Symp. On Compiler Construction), 19(6):213–221, June 1984.Google Scholar
  12. 12.
    D. A. Watt. Programming Language Syntax and Semantics. Prentice Hall International Series in Computer Science. Prentice Hall, Hemel Hempstead, England, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Deryck F. Brown
    • 1
  • Hermano Moura
    • 1
  • David A. Watt
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowUK

Personalised recommendations