We present a small-step, frame stack style, semantics for sequential Cor...
We aim to reason about the correctness of behaviour-preserving
transform...
Matching logic is a formalism for specifying and reasoning about structu...
Formal semantics provides rigorous, mathematically precise definitions o...
Our research is part of a wider project that aims to investigate and rea...