scientific article

zbMath0543.68011MaRDI QIDQ3332229

Luca Cardelli

Publication date: 1984

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (23)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ An algebraic semantics approach to the effective resolution of type equations ⋮ Denotational semantics of a simple model of Eiffel ⋮ Compilation of extended recursion in call-by-value functional languages ⋮ Pebble, a kernel language for modules and abstract data types ⋮ Inheritance hierarchies: Semantics and unifications ⋮ Unification theory ⋮ Semantic types and approximation for Featherweight Java ⋮ Higher-order order-sorted algebras ⋮ A record calculus with principal types ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Semantics of types for database objects ⋮ 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 ⋮ Multiple inheritance in the class automaton model ⋮ Coherence and consistency in domains ⋮ Generator induction in order sorted algebras ⋮ Comparing object encodings. ⋮ Objects and classes in Algol-like languages ⋮ An algebraic semantics of higher-order types with subtypes ⋮ Subtyping constrained types

This page was built for publication: