Parametrization for Order-Sorted Algebraic Specification

Abstract We investigate parametrization for order-sorted algebraic specifications. As a prerequisite we study free constructions for order-sorted algebras and relate the various approaches to order-sorting. Then we analyse parameter passing, the result being that the notion of order-sorted specification has to be restricted in order to establish our main result, namely, that parameter passing satisfies the same correctness criteria as in the case of many-sorted algebras.

[1]  J. A. Goguen,et al.  Completeness of many-sorted equational logic , 1981, SIGP.

[2]  P. Gabriel,et al.  Lokal α-präsentierbare Kategorien , 1971 .

[3]  Donald Yau,et al.  Categories , 2021, 2-Dimensional Categories.

[4]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.

[5]  Joseph A. Goguen,et al.  Reusing and Interconnecting Software Components , 1986, Computer.

[6]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[7]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[8]  Fernando Orejas.  Passing Compatibility is almost Persistency , 1984, ADT.

[9]  M. Wodzicki.  Lecture Notes in Math , 1984 .

[10]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[11]  Hartmut Ehrig,et al.  Algebraic Theory of Module Specification with Constraints , 1996, MFCS.

[12]  P. Schönemann.  On artificial intelligence , 1985, Behavioral and Brain Sciences.

[13]  Martin Gogolla,et al.  Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen , 1986 .

[14]  Hartmut Ehrig,et al.  Parameter Passing in Algebraic Specification Languages , 1984, Theor. Comput. Sci..

[15]  Jean-Pierre Jouannaud,et al.  Operational Semantics for Order-Sorted Algebra , 1985, ICALP.

[16]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[17]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[18]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[19]  John Cartmell,et al.  Generalised algebraic theories and contextual categories , 1986, Ann. Pure Appl. Log..