Interpreters related to big-step and small-step semantics
Big-step semantics interpreter for a subset of C
.
Linearising interpreter for Horn clauses
.
Regular path interpreter for Horn clauses
.
For details see submitted paper to VPT 2020.
John Gallagher
, jpg@ruc.dk.