Inheritance hierarchies: Semantics and unifications

DOI10.1016/S0747-7171(89)80016-1zbMATH Open0678.68009OpenAlexW1995089655MaRDI QIDQ1124313FDOQ1124313

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

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

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)

Cites Work

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

Cited In (21)

• Strict coherence of conditional rewriting modulo axioms
• Title not available (Why is that?)
• A feature constraint system for logic programming with entailment
• Separation Logic for Multiple Inheritance
• Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
• Order-sorted unification
• Title not available (Why is that?)
• The KL-ONE family
• A Set-Theoretical Approach for the Induction of Inheritance Hierarchies
• Object inheritance beyond subtyping
• Inheritance systems with exceptions
• Title not available (Why is that?)
• Inheritance-based subtyping
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)