|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 7 gevonden artikelen
| Titel: |
CoreASM: An Extensible ASM Execution Engine |
| Auteur: |
Farahbod, Roozbeh Gervasi, Vincenzo Glässer, Uwe |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 77 (2007) nr. 1-2 pagina's 71-103 |
| Jaar: |
2007-06-29 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 7 gevonden artikelen
| volgende >> |