Extension of Alvis compiler front-end

Journal Article · Thu Dec 31 04:00:00 EST 2015 · AIP Conference Proceedings

DOI:https://doi.org/10.1063/1.4938892· OSTI ID:22499176

Wypych, Michał; Szpyrka, Marcin; Matyasik, Piotr ^[1]

---

1. AGH University of Science and Technology, Department of Applied Computer Science, Al. Mickiewicza 30, 30-059 Krakow (Poland)

Alvis is a formal modelling language that enables possibility of verification of distributed concurrent systems. An Alvis model semantics finds expression in an LTS graph (labelled transition system). Execution of any language statement is expressed as a transition between formally defined states of such a model. An LTS graph is generated using a middle-stage Haskell representation of an Alvis model. Moreover, Haskell is used as a part of the Alvis language and is used to define parameters’ types and operations on them. Thanks to the compiler’s modular construction many aspects of compilation of an Alvis model may be modified. Providing new plugins for Alvis Compiler that support languages like Java or C makes possible using these languages as a part of Alvis instead of Haskell. The paper presents the compiler internal model and describes how the default specification language can be altered by new plugins.

• OSTI ID: 22499176
• Journal Information: AIP Conference Proceedings, Journal Name: AIP Conference Proceedings Journal Issue: 1 Vol. 1702; ISSN APCPCS; ISSN 0094-243X
• Country of Publication: United States
• Language: English

Related Subjects

97 MATHEMATICS AND COMPUTING
A CODES
DIAGRAMS
GRAPH THEORY
MODULAR STRUCTURES
PROGRAMMING LANGUAGES
SPECIFICATIONS