Accession Number : ADA192783

Title :   Synchronizable Series Expressions. Part 2. Overview of the Theory and Implementation.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Waters, Richard C

PDF Url : ADA192783

Report Date : Nov 1987

Pagination or Media Count : 49

Abstract : The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to understand and modify than equivalent algorithms expressed as loops. Unfortunately, many programmers hesitate to use series expressions, because the are typically implemented very inefficiently-the prime source of inefficiency being the creation of intermediate series objects. A restricted class of series expressions, obviously synchronizable series expressions, is defined which can be evaluated very efficiently. At the cost of introducing restrictions which place modest limits on the series expressions which can be written, the restrictions guarantee that the creation of intermediate series objects is never necessary. This makes it possible to automatically convert obviously synchronizable series expressions into highly efficient loops using straightforward algorithms.

Descriptors :   *ALGORITHMS, *COMPUTER PROGRAMMING, COSTS, EFFICIENCY, LOOPS, PROGRAMMERS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE