The following pages link to (Q4532092):
Displaying 4 items.
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Type-based hot swapping of running modules (Q1772100) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901901) (← links)