Conditions for incremental iteration: Examples and counterexamples

DOI10.1016/0167-6423(88)90061-5zbMath0661.68014OpenAlexW2046531404WikidataQ124856659 ScholiaQ124856659MaRDI QIDQ1113663

Marvin C. Paull, Barbara G. Ryder, Thomas J. jun. Marlowe

Publication date: 1988

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(88)90061-5

zbMATH Keywords

iterative algorithmsfixed points of systems of equationsincremental data flow analysisincremental iterations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (3)

On the computational complexity of dynamic graph problems ⋮ Properties of data flow frameworks: A unified model ⋮ Incremental and Modular Context-sensitive Analysis

This page was built for publication: Conditions for incremental iteration: Examples and counterexamples