A theory of primitive objects -- untyped and first-order systems

DOI10.1007/3-540-57887-0_101MaRDI QIDQ4490733zbMATH OpenFDO

Authors Martín Abadi, Luca Cardelli

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_101

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
• scientific article; zbMATH DE number 944097
• A lambda calculus of incomplete objects
• An imperative object calculus
• scientific article; zbMATH DE number 720178

Cited in

(13)

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

This page was built for publication: A theory of primitive objects -- untyped and first-order systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490733)