TY - RPRT
A1 - Brandt, Jens
A1 - Schneider, Klaus
T1 - Translating SHIM to Guarded Actions
N2 - 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.
T3 - Interner Bericht des Fachbereich Informatik - 387
Y1 - 2012
UR - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/2881
UR - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:hbz:386-kluedo-28813
ER -