An operational semantics for TOOPLE: A statically-typed object-oriented programming language

DOI10.1007/3-540-58027-1_30OpenAlexW1493950382MaRDI QIDQ5890071

Unnamed Author, Kim B. Bruce, Unnamed Author

Publication date: 28 April 2023

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

Full work available at URL: https://doi.org/10.1007/3-540-58027-1_30

zbMATH Keywords

operational semanticsemantic ruleobject typetyping ruletype expression

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

rCOS: a refinement calculus of object systems

Cites Work

• Unnamed Item
• Unnamed Item
• A modest model of records, inheritance, and bounded quantification
• A semantics of multiple inheritance
• Coherence of subsumption, minimum typing and type-checking in F ≤
• A semantic basis for Quest
• Operations on records

This page was built for publication: An operational semantics for TOOPLE: A statically-typed object-oriented programming language