• search hit 3 of 139
Back to Result List

Translating SHIM to Guarded Actions

  • SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous communication. It abstracts away many details to give the developer a high-level view that includes virtual shared variables, threads as orthogonal statements, and deterministic concurrent exceptions. In this paper, we present a new way to compile a SHIM-like language into a set of asynchronous guarded actions, a well-established intermediate representation for concurrent systems. By doing so, we build a bridge to many other tools, including hardware synthesis and formal verification. We present our translation in detail, illustrate it through examples, and show how the result can be used by various other tools.

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-28813
Serie (Series number):Interner Bericht des Fachbereich Informatik (387)
Document Type:Report
Language of publication:English
Publication Date:2012/02/15
Year of Publication:2012
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2012/02/14
Number of page:19
Faculties / Organisational entities:Fachbereich Informatik
CCS-Classification (computer science):D. Software / D.3 PROGRAMMING LANGUAGES / D.3.4 Processors
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vom 16.11.2011