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

by V Nirkhe, W Pugh
Venue:In Nineteenth ACM Symposium on Principles of Programming Languages