The following pages link to Programming Languages and Systems (Q5899014):
Displayed 8 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- A Complete, Co-inductive Syntactic Theory of Sequential Control and State (Q3184753) (← links)
- (Q5377471) (← links)
- From Applicative to Environmental Bisimulation (Q5739359) (← links)