Cyclone

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