A delegation-based object calculus with subtyping

DOI10.1007/3-540-60249-6_40MaRDI QIDQ5055878zbMATH OpenOpenAlexFDO

Authors Kathleen Fisher, John Mitchell

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

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 4115919
• Theoretical Computer Science
• scientific article; zbMATH DE number 1361477
• scientific article; zbMATH DE number 1114034
• A sequent calculus for subtyping polymorphic types
• scientific article; zbMATH DE number 1231693
• scientific article; zbMATH DE number 2079015
• Foundations for the implementation of higher-order subtyping
• A calculus of constructions with explicit subtyping

Cites work

• An imperative object calculus
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 1479620 (Why is no real title available?)
• scientific article; zbMATH DE number 1479647 (Why is no real title available?)
• Simple type-theoretic foundations for object-oriented programming

Cited in

(18)

• Matching for the lambda calculus of objects
• Privacy via subsumption
• Foundations for extensible objects with roles
• On simulation, subtyping and substitutability in sequential object systems
• Efficient inference of object types
• Dynamic object-based inheritance with subtyping
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• On Normalization by Evaluation for Object Calculi
• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 1231606 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 1390060 (Why is no real title available?)
• Taming the merge operator
• Delegation by object composition
• A calculus for concurrent objects
• A typed lambda calculus of objects (extended abstract)

Describes a project that uses

Uses Software

• Smalltalk
• Eiffel

This page was built for publication: A delegation-based object calculus with subtyping

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