@conference {16383, title = {Partial evaluation of high-level imperative programming languages with applications in hard real-time systems}, booktitle = {Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, year = {1992}, month = {1992///}, pages = {269 - 280}, author = {Nirkhe,V. and Pugh, William} }