• search hit 4 of 139
Back to Result List

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

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