Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language
Abstract elided by the publisher.
Related papers
- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors PLDI 2007
- A Provably Correct Compiler Generator ESOP 1992
- A real-time garbage collector with low overhead and consistent utilization POPL 2003
- On the Correctness of a Branch Displacement Algorithm TACAS 2014
- Prototyping a Real-Time Embedded System in Smalltalk OOPSLA 1989
- Static Timing Analysis for Hard Real-Time Systems VMCAI 2010
- Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation POPL 2022
- Compiling Real-Time Programs into Schedulable Code PLDI 1993