lhq1 / semantics-equivalence-with-control-flow Goto Github PK
View Code? Open in Web Editor NEWThis project is a team project which aims to prove the Semantics equivalence between small step and denotation semantics with control flow(break and continue)