| Publication Type |
technical report |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Hunt, Francis E. |
| Title |
Applicative updating and provisional computation in functional programming |
| Date |
1983-06 |
| Description |
Large scale computing systems often consist of calculations which are repeated for many sets of input data. If the variance between the data sets is small, there may be portions of the computation which are not affected by the changes in the input values. The effort required for such systems can be reduced with efficient methods of recomputation. The dissertation presents an approach for efficient recomputation over function graphs. A change to an input value of a computed function initiates a process of retraction along the data paths dependent on that input. The modified value is then released into the function graph, and the retracted portions of the graph are recomputed. The mechanism for retraction maintains functionality of output values and provides an efficient method of recomputation. The mechanism is extended to include a new class of operators which provide provisional computation by initiating retractions wholly within a function graph. This extension addresses the problem of feedback cycles in a computation and provides an internal mechanism for detecting and breaking deadlock encountered during the execution of such cycles. A retraction mechanism which allows efficient recomputation increases ·the use fullness of functional programming systems. The effort required to carry out the retraction is proportional to the number of arcs in the function . graph. Allowing provisional computations expands the class of graphs which will produce results by allowing feedback cycles to be expressed naturally. |
| Type |
Text |
| Publisher |
University of Utah |
| Subject |
recomputation; efficient recomputation; function graphs; computers |
| Subject LCSH |
Computer programming; Data processing |
| Language |
eng |
| Bibliographic Citation |
Hunt, F. E. (1983). Applicative updating and provisional computation in functional programming. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Format Medium |
application/pdf |
| Format Extent |
415.884 Bytes |
| File Name |
Hunt-Applicative_Update.pdf |
| Conversion Specifications |
Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display |
| ARK |
ark:/87278/s64x77vt |
| Setname |
ir_computersa |
| ID |
95524 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s64x77vt |
