Automating derivation of incremental programs

Authors:
Yuchen Zhang;Yanhong A. Lin
Affiliations:
Computer Science Department, Indiana University, Bloomington, IN;Computer Science Department, Indiana University, Bloomington, IN
Venue:
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Year:
1998

Citing 2
Cited 3

Systematic derivation of incremental programs

Science of Computer Programming
CACHET: an interactive, incremental-attribution-based program transformation system for deriving incremental programs

KBSE '95 Proceedings of The 10th Knowledge-Based Software Engineering Conference

Efficiency by Incrementalization: An Introduction

Higher-Order and Symbolic Computation
Selective memoization

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic Programming via Static Incrementalization

Higher-Order and Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract