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. © 1977 Springer-Verlag.
CITATION STYLE
Tennent, R. D. (1977). Language design methods based on semantic principles. Acta Informatica, 8(2), 97–112. https://doi.org/10.1007/BF00289243
Mendeley helps you to discover research relevant for your work.