Formal Framework for Reasoning About the Precision of Dynamic Analysis
Abstract elided by the publisher.
Related papers
- Trust, but Verify: Two-Phase Typing for Dynamic Languages ECOOP 2015
- DoubleChecker: efficient sound and precise atomicity checking PLDI 2014
- A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes TACAS 2007
- Reasoning about recursive tree traversals PPoPP 2021
- Heterogeneous Dynamic Logic: Provability Modulo Program Theories PLDI 2026
- Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors PLDI 1991
- Liquidate your assets: reasoning about resource usage in liquid Haskell POPL 2020
- String Analysis for Dynamic Field Access CC 2014