Proving relative lower bounds for incremental algorithms

Authors:
A. Michael Berman;Marvin C. Paull;Barbara G. Ryder
Affiliations:
Rutgers Univ., New Brunswick, NJ;Rutgers Univ., New Brunswick, NJ;Rutgers Univ., New Brunswick, NJ
Venue:
Acta Informatica
Year:
1990

Profiling an Incremental Data Flow Analysis Algorithm

IEEE Transactions on Software Engineering
INC: a language for incremental computations

ACM Transactions on Programming Languages and Systems (TOPLAS)
A categorized bibliography on incremental computation

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sparsification—a technique for speeding up dynamic graph algorithms

Journal of the ACM (JACM)

Hi-index	0.00