If you opt-in, we use cookies to improve your experience on our site. Find out more.
Research on Blech
The development of Blech is accompanied by research activities. This research is carried out in cooperation with different universities.
Conference paper
- Blech, Imperative Synchronous Programming!. Friedrich Gretz and Franz-Josef Grosch, 2018 Forum on Specification & Design Languages (FDL), doi: 10.1109/FDL.2018.8524036 .
Book chapter
- Blech, Imperative Synchronous Programming!. Friedrich Gretz, Franz-Josef Grosch. (2020) Published in: Languages, Design Methods, and Tools for Electronic System Design .
Technical report
- Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics for Blech. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele. (2020) Technical Report .
Last modified September 14, 2020: Technical report updated (52afc0e)