scientific article; zbMATH DE number 1479620

MaRDI QIDQ4490733zbMATH OpenFDO

Authors Martín Abadi, Luca Cardelli

Publication date 20 July 2000

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• A theory of primitive objects: Untyped and first-order systems
• Publication:4715213
• scientific article; zbMATH DE number 1114038
• An imperative object calculus
• scientific article; zbMATH DE number 720178

Cited in

(12)

• A typed lambda calculus of objects (extended abstract)
• A domain-theoretic model of nominally-typed object-oriented programming
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• An imperative object calculus
• A Mechanized Model of the Theory of Objects
• An interpretation of typed objects into typed -calculus
• Combining subsumption and binary methods: an object calculus with views
• A calculus for concurrent objects
• Simplifying subtyping constraints: a theory
• Type-based hot swapping of running modules
• A delegation-based object calculus with subtyping
• A declarative framework for object-oriented programming with genetic inheritance

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 Q4490733)