The following pages link to (Q4532091):
Displaying 7 items.
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Safe structural conformance for Java (Q2721826) (← links)
- JAVA class loading techniques in the Harness metacomputing framework (Q2758950) (← links)
- (Q3591721) (← links)
- Improving the official specification of Java bytecode verification (Q4794727) (← links)
- Theorem Proving in Higher Order Logics (Q5464657) (← links)