A semantic algebra for binding constructs

  • Peter Mosses
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


This paper presents a semantic algebra, suitable for use in giving the denotational semantics of various forms of declarations and binding constructs in programming languages. The emphasis of the paper is on the development of semantic descriptions which are easy to understand at an intuitive level, being based on algebraic operators corresponding to fundamental concepts of programming languages. Some familiarity with denotational semantics and abstract data types is assumed.


Programming languages semantics abstract data types formalization of programming concepts algebras binding constructs 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. ADJ: Thatcher, J.W., Wagner, E.A. & Wright, J.B. (1979) "More on advice on structuring compilers and proving them correct", in Proc. Sixth Int. Coll. on Automata, Languages and Programming (ed. Maurer, H.A.). Lect. Notes in Comp. Sci. 71, Springer, 1979.Google Scholar
  2. Burstall, R.M. & Goguen, J.A. (1977) "Putting theories together to make specifications", in Proc. Fifth Int. Joint Conf. on Artificial Intelligence, 1977.Google Scholar
  3. Gordon, M.J.C. (1979) The Denotational Description of Programming Languages, Springer, 1979.Google Scholar
  4. Mosses, P. (1980) "A constructive approach to compiler correctness", in Proc. Seventh Int. Coll. on Automata, Languages and Programming (eds. de Bakker, J.W. & van Leeuwen, J.). Lect. Notes in Comp. Sci. 85, Springer, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Peter Mosses
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhusDenmark

Personalised recommendations