scientific article; zbMATH DE number 3864476
From MaRDI portal
Publication:3332229
Recommendations
Cited in
(43)- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
- Multiple inheritance in SIMULA-like languages
- An algebraic semantics approach to the effective resolution of type equations
- Pebble, a kernel language for modules and abstract data types
- A semantics of multiple inheritance
- Inheritance hierarchies: Semantics and unifications
- Unification theory
- Inheritance as implicit coercion
- Subtyping can have a simple semantics
- The data model of FAD, a database programming language
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Coherence and consistency in domains
- An algebraic semantics of higher-order types with subtypes
- An operational approach to the semantics of classes: Application to type checking
- Comparing object encodings.
- Objects and classes in Algol-like languages
- Denotational semantics of a simple model of Eiffel
- Multiple attribute grammar inheritance
- scientific article; zbMATH DE number 1630119 (Why is no real title available?)
- A domain-theoretic model of nominally-typed object-oriented programming
- scientific article; zbMATH DE number 1728245 (Why is no real title available?)
- Orthogonal subclasses and multiple inheritance of system predicate classes
- Incremental Reasoning for Multiple Inheritance
- Type extensions
- Multiple inheritance in the class automaton model
- Semantic types and approximation for Featherweight Java
- scientific article; zbMATH DE number 139982 (Why is no real title available?)
- Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
- scientific article; zbMATH DE number 1086652 (Why is no real title available?)
- scientific article; zbMATH DE number 1961884 (Why is no real title available?)
- scientific article; zbMATH DE number 2033539 (Why is no real title available?)
- Subtyping constrained types
- Higher-order order-sorted algebras
- A record calculus with principal types
- Metamodeling semantics of multiple inheritance
- Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
- Separation Logic for Multiple Inheritance
- A categorical semantics of multiple inheritance
- A calculus with recursive types, record concatenation and subtyping
- Generator induction in order sorted algebras
- Compilation of extended recursion in call-by-value functional languages
- Semantics of types for database objects
- Modelling multiple inheritance with colimits
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3332229)
