TY - CONF T1 - Partial evaluation of high-level imperative programming languages with applications in hard real-time systems T2 - Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages Y1 - 1992 A1 - Nirkhe,V. A1 - Pugh, William JA - Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages ER -