scientific article; zbMATH DE number 814801
From MaRDI portal
Publication:4855348
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.
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:
