An operational semantics for TOOPLE: A statically-typed object-oriented programming language
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 603-626
- https://doi.org/10.1007/3-540-58027-1_30
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Operations on recordsPublished by Springer Nature ,2006
- StrongtalkPublished by Association for Computing Machinery (ACM) ,1993
- Safe and decidable type checking in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,1993
- Safe type checking in a statically-typed object-oriented programming languagePublished by Association for Computing Machinery (ACM) ,1993
- Coherence of subsumption, minimum typing and type-checking in F ≤Mathematical Structures in Computer Science, 1992
- A calculus for overloaded functions with subtypingPublished by Association for Computing Machinery (ACM) ,1992
- A semantic basis for QuestJournal of Functional Programming, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990
- A semantics of multiple inheritanceInformation and Computation, 1988
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985