swMATH9693MaRDI QIDQ21672FDOQ21672
Author name not available (Why is that?)
Official website: http://www.eecs.harvard.edu/~greg/cyclone/old_cyclone.html
Cited In (58)
- RustHorn: CHC-based verification for Rust programs
- 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
- 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
- JastAdd
- Deadlock checking by data race detection
- Polyglot
- Lilac
- DyC
- CCured
- Insure++
- RacerX
- CScout
- VCODE
- PIPER
- Fugue
- PLURAL
- Mezzo
- SWILL
- Jif
- K-Java
- Proteus
- HAVOC
- Hume
- Alms
- mbeddr
- Feldspar
- MJ
- gbeta
- Welterweight Java
- BicolanoMT
- Jinja Threads
- CLDC
- Crust
- Rust2Viper
- Deadlock checking by a behavioral effect system for lock handling
- Type-based security for mobile computing integrity, secrecy and liveness
- Safe manual memory management in Cyclone
- Inferring effective types for static analysis of C programs
- 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
