Hume: A Domain-Specific Language for Real-Time Embedded Systems
Abstract elided by the publisher.
Related papers
- Real-time MLton: A Standard ML runtime for real-time functional programs JFP 2021
- Stream Compilation for Real-Time Embedded Multicore Systems CGO 2009
- Modular Substructural Constraints for Embedded DSLs GPCE 2026
- Experience report: playing the DSL card ICFP 2008
- Roll your own test bed for embedded real-time protocols: a haskell experience Haskell 2009
- LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming GPCE 2014
- CoSense: Compiler Optimizations using Sensor Technical Specifications CC 2024
- Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations GPCE 2009