A delegation-based object calculus with subtyping

DOI10.1007/3-540-60249-6_40OpenAlexW1879619902MaRDI QIDQ5055878

John C. Mitchell, Kathleen Fisher

Publication date: 9 December 2022

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60249-6_40

Mathematics Subject Classification ID

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

Related Items

Semantic types and approximation for Featherweight Java, On Normalization by Evaluation for Object Calculi, A calculus for concurrent objects, Matching for the lambda calculus of objects, Privacy via subsumption, Foundations for extensible objects with roles, Taming the Merge Operator

Uses Software

• Smalltalk
• Eiffel

Cites Work

• Simple type-theoretic foundations for object-oriented programming
• An imperative object calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item