Skip to main content
SpringerLink
Log in

Algebraic operational semantics and modula-2

  • Conference paper
  • First Online:
Book cover CSL '87 (CSL 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 329))

Included in the following conference series:

Supported in part by NSF grant DCR 85-03275

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. Blakley, Robert and Gurevich, Yuri, “The Algebraic Operational Semantics of Smalltalk”, in preparation.

    Google Scholar 

  2. Gurevich, Yuri, “Logic and the Challenge of Computer Science”, in Current Trends in Theoretical Computer Science (ed. E. Boöger), Computer Science Press, 1987, 1–57.

    Google Scholar 

  3. Gurevich, Yuri and Moss, Lawrence, “The Algebraic Operational Semantics of Occam”, in preparation.

    Google Scholar 

  4. Landin, Peter J., “A λ-calculus approach”, in Advances in Programming and Nonnumerical Computation, L. Fox(ed.), London, Pergamon Press, 1966.

    Google Scholar 

  5. McCarthy, John and others, The Lisp 1.5 Programmer's Manual, Cambridge, Massachusetts, MIT Press, 1962.

    Google Scholar 

  6. Morris, James, Algebraic Operational Semantics for Modula 2, Ph.D. dissertation, The University of Michigan, 1988.

    Google Scholar 

  7. Plotkin, Gordon, A Structural Approach to Operational Semantics, DAIMI FN-19, Aarhus University.

    Google Scholar 

  8. Wegner, Peter, “The Vienna Definition Language”, ACM Computing Surveys, 4(1), 5–63.

    Google Scholar 

  9. Wirth, Niklaus, Programming in Modula-2, Berlin, Springer-Verlag, 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical Engineering and Computer Science, University of Michigan, 48109-2122, Ann Arbor, MI

    Yuri Gurevich & James M. Morris

Authors
  1. Yuri Gurevich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James M. Morris
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag

About this paper

Cite this paper

Gurevich, Y., Morris, J.M. (1988). Algebraic operational semantics and modula-2. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '87. CSL 1987. Lecture Notes in Computer Science, vol 329. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50241-6_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-50241-6_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50241-8

  • Online ISBN: 978-3-540-45960-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation