A Partial Evaluator for the Maruti Hard-Real-Time System (1993)

by V Nirkhe, W Pugh
Venue:Journal of Real-Time Systems