Cyclone
From MaRDI portal
Software:21672
swMATH9693MaRDI QIDQ21672FDOQ21672
Author name not available (Why is that?)
Cited In (28)
- A language for generic programming in the large
- Static analysis of multi-staged programs via unstaging translation
- CScout: a refactoring browser for C
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code
- State of the Union: Type Inference Via Craig Interpolation
- A novel analysis space for pointer analysis and its application for bug finding
- A linear/producer/consumer model of classical linear logic
- Inferring Effective Types for Static Analysis of C Programs
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
- A Kripke logical relation for effect-based program transformations
- An Expressive Aspect Language for System Applications with Arachne
- Scoped types and aspects for real-time Java memory management
- Program verification with interacting analysis plugins
- Modular inference of subprogram contracts for safety checking
- Type checking a multithreaded functional language with session types
- Lightweight shape analysis based on physical types
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- Deadlock checking by data race detection
- Deadlock checking by a behavioral effect system for lock handling
- RustHorn: CHC-Based Verification for Rust Programs
- Safe manual memory management in Cyclone
- Monadic regions
- Modular session types for objects
- Unifying type checking and property checking for low-level code
- A reduction semantics for direct-style asynchronous observables
- Using static analysis to reduce dynamic analysis overhead
- Subtyping for session types in the pi calculus
- Compiling for template-based run-time code generation
This page was built for software: Cyclone