Inheritance hierarchies: Semantics and unification
- 30 April 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (3-4), 343-370
- https://doi.org/10.1016/s0747-7171(89)80016-1
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Many-sorted unificationJournal of the ACM, 1988
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- An algebraic semantics approach to the effective resolution of type equationsTheoretical Computer Science, 1986
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964