Multiple Evaluators in an Extensible Programming System

Abstract

F19628-71-C-0173AF-2801280102ESDTR-73-112(*computer 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1973
Accession Number
AD0758209

Entities

People

  • Ben Wegbreit

Organizations

  • Harvard University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Classification
  • Compilers
  • Computations
  • Computer Programming
  • Computer Programs
  • Contracts
  • Debugging
  • Government Procurement
  • Governments
  • High Level Languages
  • Language
  • Lists (Data Structures)
  • Massachusetts
  • Programming Languages
  • Security
  • Specifications

Fields of Study

  • Computer science

Readers

  • Computational Linguistics