Generative Programming for Embedded Software: An Industrial Experience Report
Abstract elided by the publisher.
Related papers
- Experience report: using objective caml to develop safety-critical embedded tools in a certification framework ICFP 2009
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020
- Fusing industry and academia at GitHub (experience report) ICFP 2022
- Using C language extensions for developing embedded software: a case study OOPSLA 2015
- Automatic code generation in practice: experiences with embedded robot controllers GPCE 2016
- Experience report: OCaml for an industrial-strength static analysis framework ICFP 2009
- The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software SAS 2018
- Dependently typed Haskell in industry (experience report) ICFP 2019