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

Technical report

Last modified September 14, 2020: Technical report updated (52afc0e)