Keyword:contextual equivalence

Publications
From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract) Vasileios Koutavas, Yu-Yang Lin and Nikos Tzevelekos EasyChair Preprint 8780
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint 415