The following pages link to MJ (Q36100):
Displaying 9 items.
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Objects and session types (Q1021571) (← links)
- Formally sound implementations of security protocols with JavaSPI (Q1707348) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
