Efficient Demand-Driven Evaluation.

Abstract

This document describes a program transformation technique for programs in a general stream language L whereby a data-driven evaluation of the transformed program performs exactly the same computation as a demand-driven evaluation of the original program. The transformational technique suggests a simple denotational characterization of demand-driven evaluation. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1983
Accession Number
ADA133477

Entities

People

  • Arvind
  • Keshav Pingali

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Department Of Defense
  • Equations
  • Information Processing
  • Information Systems
  • Language
  • Massachusetts
  • Military Research
  • Programming Languages
  • Scalar Functions
  • Scheduling (Production)
  • Semantics

Fields of Study

  • Computer science

Readers

  • Computational Linguistics