Browsing by Subject "programming language theory"
Now showing items 1-1 of 1
-
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
(Springer, 2022)We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to ...