How to control unfolding when specializing interpreters
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
An interpreter can be viewed as performing two tasks: parsing and execution. Interpreters are specialized by partially evaluating the parsing activity while leaving the execution component as residue. We give a procedure for identifying goals that participate in the parsing process and present rules for unfolding these goals. The unfolding rules are independent of the object-program being compiled and can be generated by a one-time inspection of an interpreter. This makes specializing interpreters a practical technique for compiling programs.
- Ershov, A. P. (1977) On the partial computation principle. Information Processing Letters Vol. 6: pp. 38-41 CrossRef
- Fujita, H., Furukawa, K. (1988) A self-applicable partial evaluator and its use in incremental compilation. New Generation Computing Vol. 6: pp. 91-118 CrossRef
- Fuller, D., Abramsky, S. (1988) Mixed computation of Prolog programs. New Generation Computing Vol. 6: pp. 119-142 CrossRef
- Futamura, Y. (1971) Partial evaluation of computation process—an approach to a compiler-compiler. Systems, Computers, Controls 25: pp. 45-50
- Jones, N. D., Sestoft, P., Søndergard, H. (1985) An experiment in partial evaluation: The generation of a compiler generator. Lecture Notes in Computer Science 202: pp. 124-140
- Komorowski, H. J., “A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation,”Ph. D. thesis, Linköping Studies in Science and Technology, 1981.
- Levi, G., Sardu, G. (1988) Partial evaluation of metaprograms in a “multiple worlds” logic language. New Generation Computing Vol. 6: pp. 227-248 CrossRef
- Neumann, G.,Metaprogrammeirung und Prolog, Addison-Wesley, 1988.
- Pereira, F. and Shieber, S., “Prolog and natural-language analysis,”Technical Report, Lecture Notes #10, Center for the Study of Language and Information, 1987.
- Sterling, L. S., Beer, R. D. (1989) Meta-Interpreters for Expert System Construction. Journal of Logic Programming Vol. 6: pp. 163-178 CrossRef
- Sterling, L. S. and Shapiro, E. Y.,The Art of Prolog, MIT Press, 1986.
- Takeuchi, A. and Furukawa, K., “Partial evaluation of Prolog programs and its application to meta programming,” inInformation Processing 86, North-Holland, pp. 415–420, 1986.
- How to control unfolding when specializing interpreters
New Generation Computing
Volume 8, Issue 1 , pp 61-70
- Cover Date
- Print ISSN
- Online ISSN
- Additional Links
- Partial Evaluation
- Specializing Interpreters
- Industry Sectors