Higher-Order Specifications with First-Order Models

Clem Baker-Finch. In 15th Australian Computer Science Conference, Australian Computer Science Communications, 1992, pages 57-69.

Abstract

This paper proposes a means for integrating standard domain constructions including higher-order function spaces into the framework of algebraic specifications, without the need for ant extra mathematical machinery. We proceed to consider the algebraic analogue of domain equations, defining their semantics very simply in terms of signature morphisms. A brief example demonstrates a possible application of our proposal. Although the ideas are presented as an extension of a particular specification language, CLEAR, the construction is simple enough to be grafted to specification languages with presentation-level semantics and is general enough to be defined independent of any particular institution.

BibTeX.
Send e-mail to obtain a paper copy.