Research on Blech
The development of Blech is accompanied by research activities. This research is carried out in cooperation with different universities.
- Blech, Imperative Synchronous Programming!. Friedrich Gretz and Franz-Josef Grosch, 2018 Forum on Specification & Design Languages (FDL), doi: 10.1109/FDL.2018.8524036 .
- Blech, Imperative Synchronous Programming!. Friedrich Gretz, Franz-Josef Grosch. (2020) Published in: Languages, Design Methods, and Tools for Electronic System Design .
- 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)