
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 inefficientlythe 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