From High-Level Language to Abstract Machine Code: An Interactive Compiler and Emulation Tool for Teaching Structural Operational Semantics.

William Steingartner, Igor Siv

Browse the full ADBIS paper archive.