The following pages link to (Q3046765):
Displaying 8 items.
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- ADiJaC -- Automatic Differentiation of Java Classfiles (Q3176305) (← links)
- Type Inference by Coinductive Logic Programming (Q3638242) (← links)
- (Q4499263) (← links)
- (Q4738855) (← links)