Skip to main content
SpringerLink
Log in

An action semantics of standard ML

  • Part VI New Directions
  • Conference paper
  • First Online:
Mathematical Foundations of Programming Language Semantics (MFPS 1987)

Part of the book series: Lecture Notes in Computer Science ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. J. Mark: Action semantics of ML and Amber. Report DAIMI IR-66, Computer Science Department, Aarhus University (November 1986).

    Google Scholar 

  3. R. Milner: A theory of type polymorphism in programming. J. Computer and System Sciences 17, 3, 348–375 (1978).

    Article  Google Scholar 

  4. R. Milner: The dynamic operational semantics of Standard ML. Computer Science Department, University of Edinburgh (April 1985).

    Google Scholar 

  5. P. D. Mosses: Abstract semantic algebras! In Formal Description of Programming Concepts II (ed. D. Bjørner), North-Holland, Amsterdam (1983).

    Google Scholar 

  6. 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. 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. 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. 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. 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. G. D. Plotkin: Structural operational semantics. Report DAIMI-FN19, Computer Science Department, Aarhus University (1981).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Science Department, University of Glasgow, G12 8QQ, Glasgow, U.K.

    David A. Watt

Authors
  1. David A. Watt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Main A. Melton M. Mislove D. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Watt, D.A. (1988). An action semantics of standard ML. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Language Semantics. MFPS 1987. Lecture Notes in Computer Science, vol 298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19020-1_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-19020-1_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19020-2

  • Online ISBN: 978-3-540-38920-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation