The following pages link to (Q4855345):
Displaying 11 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Comparing object encodings. (Q1854318) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- A minimalist approach to objects (Q2568279) (← links)
- (Q4213885) (← links)
- A modest model of records, inheritance, and bounded quantification (Q4855338) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)
- Wrapper semantics of an object-oriented programming language with state (Q5096238) (← links)
- The equivalence of two semantic definitions for inheritance in object-oriented languages (Q6116566) (← links)