An efficient general iterative algorithm for dataflow analysis

DOI10.1007/BF00282621zbMath0612.68015OpenAlexW1970759612MaRDI QIDQ1088400

Susan Horwitz, Tim Teitelbaum, Alan Demers

Publication date: 1987

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00282621

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Properties of data flow frameworks: A unified model ⋮ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types ⋮ Property-oriented expansion ⋮ An even faster solver for general systems of equations

This page was built for publication: An efficient general iterative algorithm for dataflow analysis