A semantics of multiple inheritance
From MaRDI portal
Publication:1106652
DOI10.1016/0890-5401(88)90007-7zbMath0651.68017OpenAlexW2173184982WikidataQ56982296 ScholiaQ56982296MaRDI QIDQ1106652
Publication date: 1988
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(88)90007-7
object-oriented programmingfunctional programmingsemantics of multiple inheritancetype-inference systemtypechecking algorithm
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05)
Related Items (44)
Typed equivalence, type assignment, and type containment ⋮ A domain-theoretic model of nominally-typed object-oriented programming ⋮ Selectional restrictions, types and categories ⋮ An operational semantics for TOOPLE: A statically-typed object-oriented programming language ⋮ Operations on records ⋮ A verification algorithm for inheritance hierarchies in object-oriented databases ⋮ Reduction and unification in lambda calculi with a general notion of subtype ⋮ Bi-rewriting, a term rewriting technique for monotonic order relations ⋮ A meta-language for typed object-oriented languages ⋮ Polymorphic typed defunctionalization and concretization ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ On simulation, subtyping and substitutability in sequential object systems ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Higher-order subtyping and its decidability ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ A lambda-calculus for dynamic binding ⋮ An extension of system F with subtyping ⋮ Higher-order subtyping ⋮ Typed operational semantics for higher-order subtyping. ⋮ Issues in the design of a parallel object-oriented language ⋮ Modelling multiple inheritance with colimits ⋮ Inheritance as implicit coercion ⋮ Recursive types for Fun ⋮ Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ Selective inheritance of attribute values in relational databases ⋮ Automated compilation of object-oriented probabilistic relational models ⋮ Metamodeling semantics of multiple inheritance ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ A semantic basis for Quest ⋮ Type inference with simple subtypes ⋮ Operations on records ⋮ Incremental Reasoning for Multiple Inheritance ⋮ A declarative framework for object-oriented programming with genetic inheritance ⋮ Coherence of subsumption for monadic types ⋮ Unification in an extensional lambda calculus with ordered function sorts and constant overloading ⋮ Operations on records ⋮ Another definition of order-sorted algebra ⋮ Matching for the lambda calculus of objects ⋮ Dependent types with subtyping and late-bound overloading ⋮ Simplifying subtyping constraints: a theory ⋮ Modular statically typed multimethods ⋮ Simple type-theoretic foundations for object-oriented programming ⋮ Type inference for record concatenation and multiple inheritance
Uses Software
Cites Work
- Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
- A theory of type polymorphism in programming
- An ideal model for recursive polymorphic types
- SIMULA: an ALGOL-based simulation language
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A semantics of multiple inheritance
