Generative Programming for Embedded Systems
No abstract available.
Related papers
- Generators for Synthesis of QoS Adaptation in Distributed Real-Time Embedded Systems GPCE 2002
- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems CAV 2008
- Building embedded systems with embedded DSLs ICFP 2014
- Generative programming techniques for Java library migration GPCE 2007
- Remote specialization for efficient embedded operating systems TOPLAS 2008
- Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software POPL 1983
- Low-cost deterministic C++ exceptions for embedded systems CC 2019
- The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes JFP 2014