Hume: A Domain-Specific Language for Real-Time Embedded Systems
Region-based Memory Management