1 citations · 1 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
We propose Pushdown Normal Form (PDNF) Bisimulation to verify contextual equivalence in higher-order functional programming languages with local state. Similar to previous work on…
cs.PL2023
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos
We present the first fully abstract normal form bisimulation for call-by-value PCF (PCF). Our model is based on a labelled transition system (LTS) that combines elem…