Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems.

Vivek Nirkhe, William W. Pugh

Browse the full POPL paper archive.