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 .