Revisiting Positive Equality
Abstract elided by the publisher.
Related papers
- Object equivalence: revisiting object equality profiling (an experience report) DLS 2017
- Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions CAV 1999
- EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations CAV 2001
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited POPL 1984
- Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference CAV 2021
- Deciding equivalence with sums and the empty type POPL 2017
- SimTyper: sound type inference for Ruby using type equality prediction OOPSLA 2021
- String Analysis for Dynamic Field Access CC 2014