Partial evaluation of high-level imperative programming languages with applications in hard real-time systems (1992)

by V Nirkhe, W Pugh
Venue:In Proceedings of the 19th Annual Symposium on Principles of Programming Languages (POPL ’92