An imperative object calculus

DOI10.1007/3-540-59293-8_214MaRDI QIDQ5096750zbMATH OpenOpenAlexWikidataFDO

Authors Martín Abadi, Luca Cardelli

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_214

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1330431
• An object-oriented calculus with term constraints
• Difunctorial semantics of object calculus
• A Step-indexed Semantics of Imperative Objects
• Objects and their lambda calculus
• scientific article; zbMATH DE number 720178
• Imperative object-based calculi in co-inductive type theories
• A transactional object calculus
• A calculus for concurrent objects
• Semantics and logic of object calculi

Cites work

• A modest model of records, inheritance, and bounded quantification
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• A simplified account of polymorphic references
• A syntactic approach to type soundness
• An extension of system \(F\) with subtyping
• Baby Modula-3 and a theory of objects
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 1479620 (Why is no real title available?)
• scientific article; zbMATH DE number 814798 (Why is no real title available?)
• Operations on records
• Simple type-theoretic foundations for object-oriented programming
• Type inference for polymorphic references

Cited in

(32)

• An interpretation of typed objects into typed -calculus
• Matching for the lambda calculus of objects
• Calculus of task-constructive objects and their interpretations: II
• Object type constructors
• Flexible recovery of uniqueness and immutability
• Modular statically typed multimethods
• A theory of primitive objects: Untyped and first-order systems
• On flexible dynamic trait replacement for Java-like languages
• The polymorphic imperative: a generic approach to in-place update
• Difunctorial semantics of object calculus
• An interoperable calculus for external object access
• Idealized coinductive type systems for imperative object-oriented programs
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• A Step-indexed Semantics of Imperative Objects
• Imperative object-based calculi in co-inductive type theories
• An object-oriented calculus with term constraints
• scientific article; zbMATH DE number 17823 (Why is no real title available?)
• scientific article; zbMATH DE number 1330431 (Why is no real title available?)
• scientific article; zbMATH DE number 1479620 (Why is no real title available?)
• scientific article; zbMATH DE number 1759485 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 1420792 (Why is no real title available?)
• A delegation-based object calculus with subtyping
• Combining subsumption and binary methods: an object calculus with views
• Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo
• A virtual class calculus
• FJMIP: A Calculus for a Modular Object Initialization
• A calculus for concurrent objects
• CONCUR test-of-time award for the period 1994--97 interview with Uwe Nestmann and Benjamin C. Pierce
• Imperative objects as mobile processes
• An operational semantics for object-oriented concepts based on the class hierarchy
• An imperative pure calculus

This page was built for publication: An imperative object calculus

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