CoreASM: An Extensible ASM Execution Engine
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer · 2005
In this paper we introduce a new research e#ort in making abstract state machines executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASM. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms.