In this chapter we discuss the semantics of ALGOL 60 own-variables. Since most people feel that these are badly designed we need to explain why it is worth considering their semantics at all. The two main reasons are:
  1. (i)

    The semantics of own-variables vividly shows how an at first sight intuitively clean construct is in fact very messy and fraught with subtle ambiguities. Thus it illustrates one kind of insight one can rapidly gain by attempting a formal description. It is true that the various ambiguities were discovered without using any formal methods, but their uncovering took several years. Had a formal semantics been attempted the ambiguities would immediately have revealed themselves and one would have been forced to face and resolve them. Also semantic concepts enable one to concisely and lucidly articulate all the possible interpretations.

  2. (ii)

    The semantics of own-variables requires the use of ’position dependent denotations’ and the techniques to handle these are of some interest in their own right. Although these techniques are not very often useful for describing the conceptual meaning of languages—which is what this book has concentrated on—they are required in describing operational semantics modelling implementations.



Operational Semantic Formal Semantic Semantic Concept Static Interpretation Conceptual Meaning 
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

© Springer-Verlag New York Inc. 1979

Authors and Affiliations

  • Michael J. C. Gordon
    • 1
  1. 1.Department of Computer ScienceUniversity of EdinburghEdinburghScotland, Great Britain

Personalised recommendations