An imperative object calculus
DOI10.1007/3-540-59293-8_214zbMATH Open1496.68098OpenAlexW1563488194WikidataQ56982211 ScholiaQ56982211MaRDI QIDQ5096750FDOQ5096750
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
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
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Title not available (Why is that?)
- A syntactic approach to type soundness
- Operations on records
- Title not available (Why is that?)
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- Type inference for polymorphic references
- Simple type-theoretic foundations for object-oriented programming
- An extension of system \(F\) with subtyping
- A simplified account of polymorphic references
- A modest model of records, inheritance, and bounded quantification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Baby Modula-3 and a theory of objects
Cited In (29)
- Calculus of task-constructive objects and their interpretations: II
- Title not available (Why is that?)
- Flexible recovery of uniqueness and immutability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Imperative objects as mobile processes
- Object type constructors
- A virtual class calculus
- Matching for the lambda calculus of objects
- Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo
- Combining subsumption and binary methods: an object calculus with views
- An interpretation of typed objects into typed \(\pi\)-calculus
- A calculus for concurrent objects
- FJMIP: A Calculus for a Modular Object Initialization
- Imperative object-based calculi in co-inductive type theories
- An operational semantics for object-oriented concepts based on the class hierarchy
- An imperative pure calculus
- An object-oriented calculus with term constraints
- An interoperable calculus for external object access
- Title not available (Why is that?)
- Modular statically typed multimethods
- Difunctorial semantics of object calculus
- The polymorphic imperative: a generic approach to in-place update
- A Step-indexed Semantics of Imperative Objects
- On flexible dynamic trait replacement for Java-like languages
- Title not available (Why is that?)
- A delegation-based object calculus with subtyping
- Idealized coinductive type systems for imperative object-oriented programs
- Title not available (Why is that?)
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)
