TY  - JOUR
A1  - Möller, Bernhard
T1  - Ordered and continuous models of higher-order specifications
T2  - Lecture Notes in Computer Science
N2  - We investigate the existence of continuous and fixpoint models of higher-order specifications. Particular attention is paid to the question of extensionality. We use ordered specifications, a particular case of Horn specifications. The main tool for  obtaining continuous models is the ideal completion. Unfortunately, it may destroy extensionality. This problem is inherent: we show that there is no completion method which is guaranteed to preserve extensionality. To restore it, generally a quotient has to be taken. It is shown that under certain conditions this preserves the  existence of least fixpoints. Examples of the specification  method include the essential concepts of Backus’s FP and Hoare’s CSP.
Y1  - 1994
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/20644
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-206443
SN  - 0302-9743
N1  - Higher order algebra, logic, and term rewriting: first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993; selected papers : Higher-order algebra, logic, and term rewriting
VL  - 816
SP  - 223
EP  - 255
PB  - Springer
ER  -