
A Semantic Algebra for Binding Constructs
Author(s) -
Peter D. Mosses
Publication year - 1982
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v10i132.7407
Subject(s) - denotational semantics , computer science , programming language , normalisation by evaluation , semantics (computer science) , denotational semantics of the actor model , algebra over a field , action semantics , operational semantics , mathematics , pure mathematics
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.