Advertisement

An action semantics of standard ML

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

Abstract

Action semantics is a form of denotational semantics that is based on abstract semantic algebras rather than Scott domains and λ-notation. It allows formal descriptions of programming languages to be written that are unusually readable and modular. This paper presents an action-semantic description of Standard ML, as evidence for the claimed merits of action semantics. Milner's structural operational semantics of the same language is used as a basis for comparison.

Keywords

Inference Rule Computer Science Department Abstract Syntax Semantic Description Storage Cell 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [HarperMM86]
    R. Harper, D. MacQueen, and R. Milner: Standard ML. Report ECS-LFCS-86-2, Computer Science Department, University of Edinburgh (March 1986).Google Scholar
  2. [Mark86]
    J. Mark: Action semantics of ML and Amber. Report DAIMI IR-66, Computer Science Department, Aarhus University (November 1986).Google Scholar
  3. [Milner78]
    R. Milner: A theory of type polymorphism in programming. J. Computer and System Sciences 17, 3, 348–375 (1978).CrossRefGoogle Scholar
  4. [Milner85]
    R. Milner: The dynamic operational semantics of Standard ML. Computer Science Department, University of Edinburgh (April 1985).Google Scholar
  5. [Mosses83]
    P. D. Mosses: Abstract semantic algebras! In Formal Description of Programming Concepts II (ed. D. Bjørner), North-Holland, Amsterdam (1983).Google Scholar
  6. [Mosses84]
    P. D. Mosses: A basic abstract semantic algebra. In Semantics of Data Types (ed. G. Kahn, D. B. MacQueen, and G. Plotkin), Lecture Notes in Computer Science 173, Springer, Berlin (1984).Google Scholar
  7. [Mosses88]
    P. D. Mosses: Modularity in action semantics. In Workshop on Semantic Issues in Human and Computer Languages, MIT Press, Cambridge, Massachussets (forthcoming, 1988).Google Scholar
  8. [MossesW86a]
    P. D. Mosses and D. A. Watt: Pascal action semantics — towards a denotational description of ISO Standard Pascal using abstract semantic algebras. Draft 0.30, Computer Science Department, Aarhus University (1986)Google Scholar
  9. [MossesW86b]
    P. D. Mosses and D. A. Watt: The potential use of action semantics in standards. Report CSC/86/R1, Computing Science Department, University of Glasgow (March 1986).Google Scholar
  10. [MossesW87]
    P. D. Mosses and D. A. Watt: The use of action semantics. In Formal Description of Programming Concepts III (ed. M. Wirsing), North-Holland, Amsterdam (1987).Google Scholar
  11. [Plotkin81]
    G. D. Plotkin: Structural operational semantics. Report DAIMI-FN19, Computer Science Department, Aarhus University (1981).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • David A. Watt
    • 1
  1. 1.Computing Science DepartmentUniversity of GlasgowGlasgowU.K.

Personalised recommendations