Inheritance and the development of encapsulated software systems
Research directions in object-oriented programming
The object-oriented classification paradigm
Research directions in object-oriented programming
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Equational specification of partial higher-order algebras
Theoretical Computer Science - International Symposium on Mathematical Foundations of Computer Science, Bratisl
Unified algebras and institutions
Proceedings of the Fourth Annual Symposium on Logic in computer science
An algebraic model of subtype and inheritance
Advances in database programming languages
Inheritance as implicit coercion
Information and Computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Two semantic models of object-oriented languages
Theoretical aspects of object-oriented programming
Algorithms for type inference with coercions
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
On coherence in computer algebra
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Specification of abstract data types
Specification of abstract data types
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Theoretical Computer Science
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Subsorted Partial Higher-Order Locig as an Extension of CASL
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
The Weyl Computer Algebra Substrate
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
A Unified-Algebra-Based Specification Language for Symbolic Computing
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Unified Domains and Abstract Computational Structures
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
A Type-Coercion Problem in Computer Algebra
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Combining Theorem Proving and Symbolic Mathematical Computing
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Hi-index | 0.00 |
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 focus on a particular case, namely the relationship between simplicial sets and chain complexes, showing how the order-sorted algebraic specifications formalisms can be adapted, through the “inheritance as coercion” metaphor, in order to model this Kenzo fragment.