DISI 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)