Multiple Evaluators in an Extensible Programming System
HARVARD UNIV CAMBRIDGE MA CENTER FOR RESEARCH IN COMPUTER TECHNOLOGY
Pagination or Media Count:
F19628-71-C-0173AF-2801280102ESDTR-73-112computer programming, optimization, programming languages, compilers, syntax, transformations, mathematical logic, algorithmsinterpreters, extensible programming languagesAn effective tool for programming includes a high-level language, preferably extensible. A language alone is, however, not sufficient. One wants a complete programming system with an interpreter, a fully compatible compiler, a source level optimizer, and facilities for proving properties of programs. The purpose of the paper is to discuss how these various evaluators of the language can be fitted together and made to complement each other. The results, an extensible programming system with multiple evaluators, provides a powerful programming tool.
- Computer Programming and Software