scientific article; zbMATH DE number 814801

zbMath0837.68061MaRDI QIDQ4855348

Walter L. Hill, William R. Cook, Peter S. Canning

Publication date: 16 April 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

object-oriented languagestype inheritanceSmalltalk inheritance

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theory of software (68N99)

Related Items (16)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ A meta-language for typed object-oriented languages ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Specification and verification of object-oriented programs using supertype abstraction ⋮ Types in Programming Languages, Between Modelling, Abstraction, and Correctness ⋮ Higher-order subtyping and its decidability ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ A blocking model for reactive objects ⋮ Higher-order subtyping ⋮ The equivalence of two semantic definitions for inheritance in object-oriented languages ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Inheritance as implicit coercion ⋮ Idealized coinductive type systems for imperative object-oriented programs ⋮ A Coalgebraic Semantics of Subtyping ⋮ Metamodeling semantics of multiple inheritance ⋮ Type-based hot swapping of running modules

This page was built for publication: