학술논문
A partial evaluator for the Maruti hard real-time system
Document Type
Conference
Author
Source
[1991] Proceedings Twelfth Real-Time Systems Symposium Real-Time Systems Symposium, 1991. Proceedings., Twelfth. :64-73 1991
Subject
Language
Abstract
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.ETX