collaborators

1 paper

cs.PL2025

CF-GKAT: Efficient Validation of Control-Flow Transformations

Cheng Zhang, Tobias Kappé, David E. Narváez +1

Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still seve…