Abstract:
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 th...Show MoreMetadata
Abstract:
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”.
Published in: 2018 Forum on Specification & Design Languages (FDL)
Date of Conference: 10-12 September 2018
Date Added to IEEE Xplore: 08 November 2018
ISBN Information:
Print on Demand(PoD) ISSN: 1636-9874