Improving Programs which Recurse over Multiple Inductive Structures

Improving Programs which Recurse over Multiple Inductive Structures (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Leonidas Fegaras , Tim Sheard , Tong Zhou

Venue:	In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94
Citations:	27 - 6 self

BibTeX

@INPROCEEDINGS{Fegaras94improvingprograms,
    author = {Leonidas Fegaras and Tim Sheard and Tong Zhou},
    title = {Improving Programs which Recurse over Multiple Inductive Structures},
    booktitle = {In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94},
    year = {1994},
    pages = {21--32}
}

OpenURL

Abstract

This paper considers generic recursion schemes for programs which recurse over multiple inductive structures simultaneously, such as equality, zip and the nth element of a list function. Such schemes have been notably absent from previous work. This paper defines a uniform mechanism for defining such programs and shows that these programs satisfy generic theorems. These theorems are the basis for an automatic improvement algorithm. This algorithm is an improvement over the algorithm presented earlier [14] because, in addition to inducting over multiple structures, it can be incorporated into any algebraic language and is no longer restricted to a "safe" subset. 1 Introduction In previous work [14, 15, 6, 4, 5] we have shown how programming algebraically with generic recursion schemes provides a theory amenable to program calculation [13]. This theory provides a basis for automatic optimization techniques which capture many well-known transformations. Unfortunately, these recursion sc...

Keyphrases

multiple inductive structure previous work generic recursion scheme algebraic language nth element many well-known transformation generic theorem list function uniform mechanism automatic improvement algorithm program calculation recursion sc safe subset multiple structure automatic optimization technique