Cyclone

swMATH9693MaRDI QIDQ21672

No author found.

Related Items (28)

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

This page was built for software: Cyclone