Abstract
In this paper we present an operational semantics for the language TOOPLE, a statically-typed functional object-oriented programming language which has a number of desirable properties. The operational semantics, given in the form of a natural semantics, is significantly simpler than the previous denotational semantics for the language. A “subject reduction” theorem for the natural semantics provides a proof that the language is type-safe. We also show that the natural semantics is consistent with the denotational semantics of the language. Computing Review categories: D3.2 Object Oriented Languages, F3.2 Operational Semantics, F3.3 Type structure.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
