The following pages link to Cyclone (Q21672):
Displaying 28 items.
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Using static analysis to reduce dynamic analysis overhead (Q812056) (← links)
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code (Q835770) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Lightweight shape analysis based on physical types (Q2152652) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Safe manual memory management in Cyclone (Q2500689) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- Modular session types for objects (Q3460414) (← links)
- An Expressive Aspect Language for System Applications with Arachne (Q3634738) (← links)
- Compiling for template-based run-time code generation (Q4408687) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)
- Monadic regions (Q5178027) (← links)
- Unifying type checking and property checking for low-level code (Q5261528) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Static analysis of multi-staged programs via unstaging translation (Q5408534) (← links)
- State of the Union: Type Inference Via Craig Interpolation (Q5758131) (← links)
