From natural semantics to abstract machines (0)

by Mads Sig Ager
Venue:In Logic Based Program Synthesis and Transformation (LOPSTR’04