Algebraic Definition of a Functional Programming Language and Its Semantic Models

M. Broy,M. Wirsing
DOI: https://doi.org/10.1051/ita/1983170201371
RAIRO - Theoretical Informatics and Applications
Abstract:. — In the usual framework of abstract types programming languages inciuding a définition mechanism for partial recursive functions cannot be specified sufficiently complete because of the termination problem. Therefore the algebraic concepts of abstract types are extended to partial algebras leading to "total" homomorphisms for partial algebras. In this framework an abstract type is given defining a functional programming language. The category of models of that type can be structured with the help of a partial order induced by the total homomorphisms. This order shows the relationship between the different semantic models and the weü-known notions of fixed point theory. Initial and weahly terminal models correspond directly to least fixed points, the subcategories of optimal and maximal models correspond to optimal and maximal fixed points. Finally, strong terminality and initiality of the subcategory of minimally defined models can be connected to mathematical and operational équivalence of recursive functions.
What problem does this paper attempt to address?