, Volume 8, Issue 2, pp 97-112

Language design methods based on semantic principles

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.