DERIVATION OF PROGRAMS WHICH TRAVERSE THEIR INPUT DATA ONLY ONCE

Publisher Website

1 January 1989

book chapter
Published by Elsevier

p. 165-184
https://doi.org/10.1016/b978-0-12-174690-2.50010-1

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

Partial parametrization eliminates multiple traversals of data structures
Acta Informatica, 1987
Program development using lambda abstraction
Published by Springer Nature ,1987
Using circular programs to eliminate multiple traversals of data
Acta Informatica, 1984
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems, 1982
An experimental program transformation and synthesis system
Artificial Intelligence, 1981