Tools and Techniques of Annotated Programming
Abstract elided by the publisher.
Related papers
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Incremental predicate analysis for regression verification OOPSLA 2020
- Practical Type-Based Taint Checking and Inference ECOOP 2025
- Static Detection of Dynamic Memory Errors PLDI 1996
- The Pointer Assertion Logic Engine PLDI 2001
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- Debugging of Behavioural Models with CLEAR TACAS 2019
- Optimizing binary translation of dynamically generated code CGO 2015