Inheritance hierarchies: Semantics and unifications

DOI10.1016/S0747-7171(89)80016-1MaRDI QIDQ1124313zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3864476
• Order-sorted feature theory unification
• The Logic of Typed Feature Structures
• scientific article; zbMATH DE number 1950748
• A semantics of multiple inheritance

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• scientific article; zbMATH DE number 3871321 (Why is no real title available?)
• scientific article; zbMATH DE number 4155934 (Why is no real title available?)
• scientific article; zbMATH DE number 3906432 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 43017 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• An Efficient Unification Algorithm
• An algebraic semantics approach to the effective resolution of type equations
• Complete sets of unifiers and matchers in equational theories
• Login: a logic programming language with built-in inheritance
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Proving Properties of Programs by Structural Induction
• Recursive data structures
• The Mechanical Evaluation of Expressions

Cited in

(21)

• Strict coherence of conditional rewriting modulo axioms
• A feature constraint system for logic programming with entailment
• scientific article; zbMATH DE number 1950748 (Why is no real title available?)
• Separation Logic for Multiple Inheritance
• Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
• Order-sorted unification
• scientific article; zbMATH DE number 2089400 (Why is no real title available?)
• The KL-ONE family
• A Set-Theoretical Approach for the Induction of Inheritance Hierarchies
• Object inheritance beyond subtyping
• Inheritance systems with exceptions
• scientific article; zbMATH DE number 1689578 (Why is no real title available?)
• Inheritance-based subtyping
• scientific article; zbMATH DE number 6007795 (Why is no real title available?)
• Graphical inheritance notation for state-based classes
• A modular order-sorted equational generalization algorithm
• Semantic networks
• Order-Sorted Rewriting and Congruence Closure
• Bi-rewriting, a term rewriting technique for monotonic order relations
• A declarative framework for object-oriented programming with genetic inheritance
• scientific article; zbMATH DE number 4180771 (Why is no real title available?)

This page was built for publication: Inheritance hierarchies: Semantics and unifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1124313)