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.
Verfasser*innenangaben: | Jens Brandt, Klaus Schneider |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-16905 |
Schriftenreihe (Bandnummer): | Interner Bericht des Fachbereich Informatik (382) |
Dokumentart: | Bericht |
Sprache der Veröffentlichung: | Englisch |
Jahr der Fertigstellung: | 2011 |
Jahr der Erstveröffentlichung: | 2011 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Datum der Publikation (Server): | 25.03.2011 |
Freies Schlagwort / Tag: | bedingte Aktionen; synchrone Sprachen guarded actions; synchronous languages |
GND-Schlagwort: | Compiler |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Informatik |
DDC-Sachgruppen: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Lizenz (Deutsch): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |