Dipartimento di Informatica e Scienze dell'Informazione
Partial Higher-Order Specifications
E. Astesiano and M. Cerioli .
In A. Tarlecki, editor, Proceedings of Mathematical Foundation
of Computer Science '91, number 520 in Lecture Notes in Computer Science,
pages 74--84, Berlin, 1991. Springer Verlag.
In this paper we study the classes of extensional models of higher-order partial
conditional specifications. After investigating the closure properties of these
classes, we show that an inference system for partial higher-order conditional
specifications, which is equationally complete w.r.t. the class of all extensional
models, can be obtained from any equationally complete inference system for partial
conditional specifications.
Then, applying some previous results, we propose a deduction system, equationally
complete for the class of extensional models of a partial conditional specification.
Finally, turning the attention to the special important case of term-extensional
models, we first show a sound and equationally complete inference system and then
give necessary and sufficient conditions for the existence of free models, which are
also free in the class of term-generated extensional models.
The compressed postscript version of this paper is available through anonymous ftp
at ftp.disi.unige.it, in
/person/CerioliM/MFCS91.ps.z
(33950 Kb)