The following pages link to (Q4730749):
Displaying 14 items.
- Lazy behavioral subtyping (Q710675) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- A layered semantics for a parallel object-oriented language (Q1194208) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Subtyping inheritance and its application in languages for symbolic computation systems (Q1895396) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- A blocking model for reactive objects (Q1918937) (← links)
- Object-oriented design of the subsumption architecture (Q2745240) (← links)
- (Q4790347) (← links)
- (Q4870822) (← links)
- A delegation-based object calculus with subtyping (Q5055878) (← links)
- Theoretical Computer Science (Q5395063) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)