scientific article; zbMATH DE number 1479620

zbMATH Open0942.03523MaRDI QIDQ4490733FDOQ4490733

Authors: Martín Abadi, Luca Cardelli 

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (12)

• A typed lambda calculus of objects (extended abstract)
• Title not available (Why is that?)
• A domain-theoretic model of nominally-typed object-oriented programming
• An imperative object calculus
• A Mechanized Model of the Theory of Objects
• Combining subsumption and binary methods: an object calculus with views
• An interpretation of typed objects into typed \(\pi\)-calculus
• 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)