The semantics of a programming language1 assigns to each program of the language its meaning. Such an assignment should be consistent, unambiguous, complete, and comprehensible. The semantics of programming languages used to be defined in English. Although these descriptions are frequently masterpieces of apparent clarity, they nevertheless usually suffer from inconsistency, ambiguity, or incompleteness. For example, the semantic model of Pascal described by Jensen and Wirth suffers from the above mentioned symptoms as has been shown by Welsh, Sneeringer, and Hoare. Instead of using English to give a semantics to a programming language, one nowadays usually takes a more rigorous, mathematical, approach. A good example is the semantics of Standard ML given by Milner, Tofte, Harper, and McQueen.


Semantic Model Operational Semantic Unique Fixed Point Label Transition System Denotational Semantic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1998

Authors and Affiliations

  • Franck van Breugel
    • 1
  1. 1.School of Computer ScienceMcGill UniversityMontrealCanada

Personalised recommendations