%0 Journal Article %J Real-Time Systems %D 1993 %T A partial evaluator for the Maruti hard real-time system %A Nirkhe,V. %A Pugh, William %B Real-Time Systems %V 5 %P 13 - 30 %8 1993/// %G eng %N 1