Semantics of ModPascal

Abstract

A denotational semantics is given for the programming language ModPascal, an object oriented procedural language. It employs concepts of abstract data type theory: heterogenous order algebras with strict operations describe the semantics of types and of a complete program, and the parameterization concept of ModPascal is based on explicit actualization by signature morphisms. This allows to treat standard language objects and user-defined objects in a uniform and sound way. Additionally; the semantic domain structure is able to support equivalence proofs in the transition from applicative languages to ModPascal as it is necessary in software development environments.