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.

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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
Tag:bedingte Aktionen; synchrone Sprachen
guarded actions; synchronous languages
GND-Keyword:Compiler
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:004 Datenverarbeitung; Informatik

$Rev: 12793 $