Sciweavers

ASM
2005
ASM
14 years 5 months ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas
ASM
2005
ASM
14 years 5 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 po...
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Gläss...