DISI Dipartimento di Informatica e Scienze dell'Informazione

Partial Higher-Order Specifications
(Extended version)

E. Astesiano and M. Cerioli .

Fundamenta informaticae, 16(2):101--126, 1992.

In this paper the classes of extensional models of higher-order partial conditional specifications are studied, with the emphasis on the closure properties of these classes.
Further it is shown that any equationally complete inference system for partial conditional specifications may be extended to an inference system for partial higher-order conditional specifications, which is equationally complete w.r.t. the class of all extensional models.
Then, applying some previous results, a deduction system is proposed, 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, it is first shown a sound and equationally complete inference system and then necessary and sufficient conditions are given 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/FI92.ps.z (64575 Kb)