Cyclone

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