Acta Informatica

, Volume 8, Issue 2, pp 97–112

Language design methods based on semantic principles

Authors

  • R. D. Tennent
    • Department of Computing and Information ScienceQueen's University
Article

DOI: 10.1007/BF00289243

Cite this article as:
Tennent, R.D. Acta Informatica (1977) 8: 97. doi:10.1007/BF00289243

Summary

Two language design methods based on principles derived from the denotational approach to programming language semantics are described and illustrated by an application to the language Pascal. The principles are, firstly, the correspondence between parametric and declarative mechanisms, and secondly, a principle of abstraction for programming languages adapted from set theory. Several useful extensions and generalizations of Pascal emerge by applying these principles, including a solution to the array parameter problem, and a modularization facility.

Copyright information

© Springer-Verlag 1977