@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}
}
