Separate Translation of Synchronous Programs to Guarded Actions

  • This report gives an overview of the separate translation of synchronous imperative programs to synchronous guarded actions. In particular, we consider problems to be solved for separate compilation that stem from preemption statements and local variable declarations. We explain how we solved these problems and sketch our solutions implemented in the our Averest framework to implement a compiler that allows a separate compilation of imperative synchronous programs with local variables and unrestricted preemption statements. The focus of the report is the big picture of our entire design flow.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Jens Brandt, Klaus Schneider
URN:urn:nbn:de:hbz:386-kluedo-16905
Series (Serial Number):Interner Bericht des Fachbereich Informatik (382)
Document Type:Report
Language of publication:English
Year of Completion:2011
Year of first Publication:2011
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2011/03/25
Tag:bedingte Aktionen; synchrone Sprachen
guarded actions; synchronous languages
GND Keyword:Compiler
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011