论文信息 - Blech, Imperative Synchronous Programming!

Blech, Imperative Synchronous Programming!

We discuss how separate compilation and usage of structured data can be achieved in a synchronous imperative programming language for embedded systems. Our focus is on the practical aspects of these questions regarding expressiveness in programs as well as causality analysis and code generation. The approach is illustrated by means of examples written in our new language “Blech”.

Friedrich Gretz | Franz-Josef Grosch

[1] Roberto Ierusalimschy,et al. The Design and Implementation of the Synchronous Language CÉU , 2017, ACM Trans. Embed. Comput. Syst..

[2] Klaus Schneider,et al. Separate compilation for synchronous programs , 2009, SCOPES.

[3] Klaus Schneider,et al. Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems , 2016 .

[4] Joaquín Aguado,et al. Sequentially constructive concurrency A conservative extension of the synchronous model of computation , 2014, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5] Marc Pouzet,et al. SCADE 6: A formal language for embedded critical software development (invited paper) , 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).

[6] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.

[7] Marc Pouzet,et al. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach , 2018, ESOP.

[8] Benoît Caillaud,et al. Application of interface theories to the separate compilation of synchronous programs , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[9] Stavros Tripakis,et al. Modular code generation from synchronous block diagrams: modularity vs. code size , 2009, POPL '09.

[10] Gil Neiger,et al. Causal memory: definitions, implementation, and programming , 1995, Distributed Computing.