Sciweavers

ASM
2005
ASM

CoreASM: An Extensible ASM Execution Engine

14 years 3 months ago
CoreASM: An Extensible ASM Execution Engine
In this paper we introduce a new research effort in making 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.
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Gläss
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASM
Authors Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
Comments (0)