Accession Number:

AD0758209

Title:

Multiple Evaluators in an Extensible Programming System

Descriptive Note:

Corporate Author:

HARVARD UNIV CAMBRIDGE MA CENTER FOR RESEARCH IN COMPUTER TECHNOLOGY

Personal Author(s):

Report Date:

1973-03-01

Pagination or Media Count:

33.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE