Accession Number : ADA133477

Title :   Efficient Demand-Driven Evaluation.

Descriptive Note : Interim research rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Pingali,Keshav ; Arvind,

PDF Url : ADA133477

Report Date : Sep 1983

Pagination or Media Count : 35

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)

Descriptors :   *Programming languages, *Computer programming, Transformations, Algorithms, Computations, Semantics, Input, Streams

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE