Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
Abstract elided by the publisher.
783 papers · page 14 of 40
Contextual Locking for Dynamic Pushdown Networks
Abstract elided by the publisher.
Static Provenance Verification for Message Passing Programs
Abstract elided by the publisher.
Witnessing Program Transformations
Abstract elided by the publisher.
Abstract Semantic Differencing for Numerical Programs
Abstract elided by the publisher.
Symbolic Automata for Static Specification Mining
Abstract elided by the publisher.
Automatic Synthesis of Deterministic Concurrency
Abstract elided by the publisher.
From Concrete Examples to Heap Manipulating Programs
Abstract elided by the publisher.
Static Analysis in the Continuously Changing World
Abstract elided by the publisher.
The Abstract Domain of Segmented Ranking Functions
Abstract elided by the publisher.
Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
Abstract elided by the publisher.
Automatic Fence Insertion in Integer Programs via Predicate Abstraction
Abstract elided by the publisher.
Craig Interpretation
Abstract elided by the publisher.
On the Limits of the Classical Approach to Cost Analysis
Abstract elided by the publisher.
Computer-Aided Cryptographic Proofs
Abstract elided by the publisher.
Loop Leaping with Closures
Abstract elided by the publisher.
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
Abstract elided by the publisher.
Control Flow Analysis for the Join Calculus
Abstract elided by the publisher.
Termination Proofs for Linear Simple Loops
Abstract elided by the publisher.
An Abstract Domain to Infer Types over Zones in Spreadsheets
Abstract elided by the publisher.