CoreASM: An extensible ASM execution engine (2005)

by Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Venue:PROC. OF THE 12TH INT’L WORKSHOP ON ABSTRACT STATE MACHINES