scientific article; zbMATH DE number 814801
From MaRDI portal
Publication:4855348
zbMATH Open0837.68061MaRDI QIDQ4855348FDOQ4855348
Authors: William R. Cook, Walter L. Hill, Peter S. Canning 
Publication date: 16 April 1996
Title of this publication is not available (Why is that?)
Recommendations
Theory of programming languages (68N15) Formal languages and automata (68Q45) Theory of software (68N99) Semantics in the theory of computing (68Q55)
Cited In (24)
- Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
- Metamodeling semantics of multiple inheritance
- A calculus with recursive types, record concatenation and subtyping
- A domain-theoretic model of nominally-typed object-oriented programming
- Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
- An inheritance flow model for class hierarchy analysis
- Higher-order subtyping and its decidability
- A coalgebraic semantics of subtyping
- Type-based hot swapping of running modules
- Title not available (Why is that?)
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- Specification and verification of object-oriented programs using supertype abstraction
- A blocking model for reactive objects
- Typed equivalence, type assignment, and type containment
- Inheritance as implicit coercion
- About the differences between the notions of type and class
- Higher-order subtyping
- A meta-language for typed object-oriented languages
- Object inheritance beyond subtyping
- Inheritance-based subtyping
- Creol: A type-safe object-oriented model for distributed concurrent systems
- The equivalence of two semantic definitions for inheritance in object-oriented languages
- Dynamic object-based inheritance with subtyping
- Idealized coinductive type systems for imperative object-oriented programs
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 Q4855348)
