Trace-based coinductive operational semantics for While; Big-step and small-step, relational and functional styles (2009)

by Keiko Nakata , Tarmo Uustalu
Venue:In Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, volume 5674 of LNCS
Citations:5 - 1 self