Inheritance hierarchies: Semantics and unifications

DOI10.1016/S0747-7171(89)80016-1zbMath0678.68009OpenAlexW1995089655MaRDI QIDQ1124313

Gert Smolka, Hassan Aït-Kaci

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80016-1

zbMATH Keywords

algebraic specificationsInheritanceorder-sorted equational logicinitial algebra semanticsfeature typesFeature unification

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

Bi-rewriting, a term rewriting technique for monotonic order relations, A modular order-sorted equational generalization algorithm, Strict coherence of conditional rewriting modulo axioms, Semantic networks, The KL-ONE family, Order-sorted unification, A declarative framework for object-oriented programming with genetic inheritance, Order-Sorted Rewriting and Congruence Closure, A feature constraint system for logic programming with entailment

Cites Work

• An algebraic semantics approach to the effective resolution of type equations
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Complete sets of unifiers and matchers in equational theories
• Login: a logic programming language with built-in inheritance
• An Efficient Unification Algorithm
• Recursive data structures
• A Machine-Oriented Logic Based on the Resolution Principle
• Proving Properties of Programs by Structural Induction
• The Mechanical Evaluation of Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item