Articles
An Action Semantics Integrated Development Environment

https://doi.org/10.1016/S1571-0661(04)80925-3Get rights and content
Under a Creative Commons license
open access

Abstract

We demonstrate the first public release of the Abaco system, an integrated development environment designed to support the construction and maintenance of action semantics descriptions. The system is formed by a set of tools like parser generators, specification processors, including sort checkers and interpreters for action semantic descriptions, and action interpreters which can execute actions written in action notation version 1 and action notation version 2. These tools are integrated in a graphical user interface environment, allowing a friendly design of new specifications and the immediate test of them. We expect that the Abaco system will improve the learning curve of action notation and its application to programming language design.

Cited by (0)