Modeling Inheritance as Coercion in the Kenzo System

In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We show how the order-sorted algebraic specification formalism can be adapted, through the “inheritance as coercion” metaphor, in order to model the simple inheritance between structures in Kenzo.

[1]  B. Jacobs,et al.  A tutorial on (co)algebras and (co)induction , 1997 .

[2]  Kim B. Bruce.  The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages , 1991, MFPS.

[3]  Stephen M. Watt,et al.  Infinite structures in SCRATCHPAD II , 1987, EUROCAL.

[4]  Thierry Coquand,et al.  Inheritance and explicit coercion , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[5]  Nicolas J. Doye.  Automated coercion for axiom , 1999, ISSAC '99.

[6]  Julio Rubio,et al.  Locally effective objects and algebraic topology , 1993 .

[7]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[8]  Till Mossakowski,et al.  From Total Equational to Partial First-Order Logic , 1999, Algebraic Foundations of Systems Specification.

[9]  Jon P. May.  Simplicial objects in algebraic topology , 1993 .

[10]  Nicolas James Doye.  Order sorted computer algebra and coercions , 1997 .

[11]  Jacques Calmet,et al.  A Unified-Algebra-Based Specification Language for Symbolic Computing , 1993, DISCO.

[12]  Hans-Jörg Kreowski,et al.  Recent Trends in Data Type Specification , 1985, Informatik-Fachberichte.

[13]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[14]  Hans-Dieter Ehrich,et al.  Specification of abstract data types , 1996 .

[15]  Richard D. Jenks,et al.  AXIOM: the scientific computation system , 1992 .

[16]  Samuel N. Kamin,et al.  Two semantic models of object-oriented languages , 1994 .

[17]  Vico Pascual,et al.  An Object-oriented Interpretation of the EAT System , 2003, Applicable Algebra in Engineering, Communication and Computing.

[18]  Kim B. Bruce,et al.  An Algebraic Model of Subtype and Inheritance , 1990, DBPL.

[19]  Jacques Calmet,et al.  Unified Domains and Abstract Computational Structures , 1992, AISMC.

[20]  Julio Rubio.  Locally Effective Objects and Artificial Intelligence , 2000, AISC.

[21]  César Domínguez,et al.  Object oriented institutions to specify symbolic computation systems , 2007, RAIRO Theor. Informatics Appl..

[22]  Vico Pascual,et al.  Specifying implementations , 1999, ISSAC '99.

[23]  Kenneth L Stoler.  A hidden agenda. , 2008, The New York state dental journal.

[24]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[25]  César Domínguez,et al.  Modeling inheritance as coercion in a symbolic computation system , 2001, ISSAC '01.

[26]  Xavier Dousson.  Homologie effective des classifiants et calculs de groupes d'homotopie , 1999 .

[27]  Manfred Broy.  Equational Specification of Partial Higher-Order Algebras , 1988, Theor. Comput. Sci..

[28]  César Domínguez,et al.  Hidden Specification of a Functional System , 2001, EUROCAST.

[29]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[30]  Jacques Calmet,et al.  Combining Theorem Proving and Symbolic Mathematical Computing , 1994, AISMC.

[31]  Jan J. M. M. Rutten,et al.  Initial Algebra and Final Coalgebra Semantics for Concurrency , 1993, REX School/Symposium.

[32]  Herman Geuvers,et al.  A Constructive Algebraic Hierarchy in Coq , 2002, J. Symb. Comput..

[33]  José Meseguer,et al.  Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[34]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[35]  James H. Davenport,et al.  Scratchpad's View of Algebra I: Basic Commutative Algebra , 1990, DISCO.

[36]  Gunnar E. Carlsson,et al.  CHAPTER 13 – Stable Homotopy and Iterated Loop Spaces , 1995 .

[37]  Anne Elisabeth Haxthausen,et al.  Subsorted Partial Higher-Order Locig as an Extension of CASL , 1999, WADT.