Partial higher-order specifications

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.

[1]  Martin Wirsing,et al.  Algebraic Specification with Built-in Domain Constructions , 1988, CAAP.

[2]  Martin Wirsing,et al.  Algebraic Specifications of Reachable Higher-Order Algebras , 1987, ADT.

[3]  Andrzej Tarlecki,et al.  Quasi-varieties in Abstract Algebraic Institutions , 1986, J. Comput. Syst. Sci..

[4]  Bernd Krieg-Brückner,et al.  Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development , 1989, TAPSOFT, Vol.2.

[5]  José Meseguer,et al.  Initiality, induction, and computability , 1986 .

[6]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[7]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[9]  P. Burmeister.  A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[10]  Egidio Astesiano,et al.  On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications , 1989, TAPSOFT, Vol.1.

[11]  Horst Reichel,et al.  Initial Computability, Algebraic Specifications, and Partial Algebras , 1987 .

[12]  John C. Reynolds,et al.  Algebraic Methods in Semantics , 1985 .

[13]  Zhenyu Qian,et al.  Higher-Order Order-Sorted Algebras , 1990, ALP.

[14]  Karl Meinke,et al.  Universal Algebra in Higher Types , 1990, Theor. Comput. Sci..