Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: coreASM

Sortuj według:

Ogranicz wyniki do:

CoreASM: An Extensible ASM Execution Engine

Farahbod R., Gervasi V., Glässer U.

Fundamenta Informaticae

2007

Vol. 77, nr 1,2

71-103

In this paper we introduce a new research effort in making abstract state machines (ASMs) 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 ASMs. 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.