Systematic derivation of incremental programs
Open Access
- 28 February 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 24 (1), 1-39
- https://doi.org/10.1016/0167-6423(94)00031-9
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Speeding up dynamic transitive closure for bounded degree graphsActa Informatica, 1993
- Automatic autoprojection of recursive equations with global variables and abstract data typesScience of Computer Programming, 1991
- Algorithm theories and design tacticsScience of Computer Programming, 1990
- The Synthesizer Generator: A system for constructing language-based editors: Thomas W. Reps and Tim Teitelbaum (Springer)Computer Languages, 1989
- Program derivation by fixed point computationScience of Computer Programming, 1989
- Incremental data-flow analysis algorithmsACM Transactions on Programming Languages and Systems, 1988
- Mechanical translation of set theoretic problem specifications into efficient RAM code-A case studyJournal of Symbolic Computation, 1987
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Tabulation Techniques for Recursive ProgramsACM Computing Surveys, 1980
- High level iterators and a method for automatically designing data structure representationComputer Languages, 1975