Action Semantics in Retrospect

  • David A. Watt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5700)


This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on unified algebras. It goes on to outline some applications of action semantics to describe real programming languages, and some efforts to implement programming languages using action semantics directed compiler generation. It concludes by outlining more recent developments and reflecting on the success of the action semantics project.


Computer Science Department Simple Action Semantic Function Semantic Description Action Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21, 613–641 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Brown, D.F., de Moura, H.P., Watt, D.A.: Actress: an action semantics directed compiler generator. In: Kastens, U., Pfahler, P. (eds.) CC 1992. LNCS, vol. 641, pp. 95–109. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  3. 3.
    Brown, D.F., Watt, D.A.: JAS: a Java action semantics. In: [23], pp. 43–56Google Scholar
  4. 4.
    Christensen, S., Olsen, M.H.: Action semantics of CCS and CSP, Report DAIMI IR-44, Computer Science Department, Aarhus University (1988)Google Scholar
  5. 5.
    Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules, BRICS Report Series RS-03-53, Computer Science Department, Aarhus University (2003)Google Scholar
  6. 6.
    Doh, K.-G., Schmidt, D.A.: Extraction of strong typing laws from action semantics definitions. In: Krieg-Brückner, B. (ed.) ESOP 1992. LNCS, vol. 582, pp. 151–166. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  7. 7.
    Even, S., Schmidt, D.A.: Type inference for action semantics. In: Jones, N.D. (ed.) ESOP 1990. LNCS, vol. 432, pp. 71–95. Springer, Heidelberg (1990)Google Scholar
  8. 8.
    Kahn, G.: Natural semantics. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 22–39. Springer, Heidelberg (1987)CrossRefGoogle Scholar
  9. 9.
    Lassen, S., Mosses, P.D., Watt, D.A.: an introduction to AN-2: the proposed new version of action notation. In: [21], pp. 19–36Google Scholar
  10. 10.
    Mosses, P.D.: The mathematical semantics of Algol60, Technical Monograph PRG-12, Programming Research Group, Oxford University (1974)Google Scholar
  11. 11.
    Mosses, P.D.: Mathematical semantics and compiler generation, DPhil thesis, Oxford University (1975)Google Scholar
  12. 12.
    Mosses, P.D.: A constructive approach to compiler correctness. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85. Springer, Heidelberg (1980)Google Scholar
  13. 13.
    Mosses, P.D.: Abstract semantic algebras! In: Bjørner, D. (ed.) Formal Description of Programming Concepts II, North-Holland, Amsterdam (1983)Google Scholar
  14. 14.
    Mosses, P.D.: A basic abstract semantic algebra. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol. 173. Springer, Heidelberg (1984)CrossRefGoogle Scholar
  15. 15.
    Mosses, P.D.: Unified algebras and action semantics. In: Cori, R., Monien, B. (eds.) STACS 1989. LNCS, vol. 349, pp. 17–35. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  16. 16.
    Mosses, P.D.: Denotational semantics. In: van Leeuwen, J., et al. (eds.) Handbook of Theoretical Computer Science, pp. 575–631. Elsevier, Amsterdam (1990)Google Scholar
  17. 17.
    Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science (1992)Google Scholar
  18. 18.
    Mosses, P.D. (ed.): First International Workshop on Action Semantics, BRICS Notes Series NS-94-1, Computer Science Department, Aarhus University (1994)Google Scholar
  19. 19.
    Mosses, P.D.: Foundations of modular structural operational semantics. In: Kutyłowski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol. 1672. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  20. 20.
    Mosses, P.D.: A modular SOS for action notation. In: [23], pp. 131–142Google Scholar
  21. 21.
    Mosses, P.D., de Moura, H.P. (eds.): Third International Workshop on Action Semantics, BRICS Notes Series NS-00-6, Computer Science Department, Aarhus University (2000)Google Scholar
  22. 22.
    Mosses, P.D., Watt, D.A.: Pascal: action semantics, version 0.6 (unpublished) (1993)Google Scholar
  23. 23.
    Mosses, P.D., Watt, D.A. (eds.): Second International Workshop on Action Semantics, BRICS Notes Series NS-99-3, Computer Science Department, Aarhus University (1999)Google Scholar
  24. 24.
    Ørbæk, P.: Oasis: an optimizing action-based compiler generator. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol. 786, pp. 1–15. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  25. 25.
    Palsberg, J.: A provably correct compiler generator. In: Krieg-Brückner, B. (ed.) ESOP 1992. LNCS, vol. 582, pp. 418–434. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  26. 26.
    Plotkin, G.D.: A structural approach to operational semantics, Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)Google Scholar
  27. 27.
    Schmidt, D.A., Doh, K.-G.: The facets of action semantics - some principles and applications. In: [18], pp. 1–15Google Scholar
  28. 28.
    Watt, D.A.: The static and dynamic semantics of Standard ML. In: [23], pp. 155–172Google Scholar
  29. 29.
    Watt, D.A.: Programming Language Design Concepts. Wiley, Chichester (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • David A. Watt
    • 1
  1. 1.Department of Computing ScienceUniversity of GlasgowGlasgowScotland

Personalised recommendations