Relative Equivalence in the Presence of Ambiguity
Abstract elided by the publisher.
Related papers
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation ESOP 2017
- Automated Ambiguity Detection in Layout-Sensitive Grammars OOPSLA 2023
- A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST POPL 2018
- Deciding equivalence with sums and the empty type POPL 2017
- Parsing expression grammars: a recognition-based syntactic foundation POPL 2004
- A Simple, Possibly Correct LR Parser for C11 TOPLAS 2017
- Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts TACAS 1997
- Polymorphic symmetric multiple dispatch with variance POPL 2019