A partial evaluator for the Maruti hard real-time system

The use of high-level programming constructs makes it difficult to estimate at compile-time the execution time and resource requirements of a program. The authors contend that partial evaluation provides a solution to this problem. They describe the application of partial evaluation to programming languages for hard-real-time systems and give examples of programs handled by the techniques. They discuss how the system appears from a user's perspective, provide a brief overview of the partial evaluation techniques used, and describe some limitations of the techniques and possible solutions.<
>