Vivek Nirkhe, William Pugh. A partial evaluator for the Maruti hard real-time system. In Proceedings of the Real-Time Systems Symposium - 1991, San Antonio, Texas, USA, December 1991. pages 64-73, IEEE Computer Society, 1991. [doi]
Abstract is missing.