Acta Informatica

, Volume 8, Issue 2, pp 97–112

Language design methods based on semantic principles

  • R. D. Tennent

DOI: 10.1007/BF00289243

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


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

Authors and Affiliations

  • R. D. Tennent
    • 1
  1. 1.Department of Computing and Information ScienceQueen's UniversityKingstonCanada

Personalised recommendations