The following pages link to (Q4250669):
Displayed 10 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- Confined types in Java (Q4791055) (← links)
- Coping with aliasing in the GNU Eiffel Compiler implementation (Q4791062) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)