History Effects and Verification
Abstract elided by the publisher.
Related papers
- Local policies for resource usage analysis TOPLAS 2009
- Roles, stacks, histories: A triple for Hoare JFP 2011
- A parallel branch-and-bound algorithm with history-based domination PPoPP 2022
- Types and trace effects of higher order programs JFP 2008
- Effective Partial Redundancy Elimination PLDI 1994
- Scalable verification of probabilistic networks PLDI 2019
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables POPL 1979