An efficient general iterative algorithm for dataflow analysis

DOI10.1007/BF00282621MaRDI QIDQ1088400zbMATH OpenOpenAlexFDO

Authors Susan Horwitz, Alan Demers, Tim Teitelbaum

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)

Recommendations

• Using locality of flow in dataflow analyses.
• scientific article; zbMATH DE number 2087560
• Efficient dataflow analysis of logic programs
• Precise interprocedural dataflow analysis with applications to constant propagation
• Newtonian program analysis

Cited in

(13)

• Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types
• Using locality of flow in dataflow analyses.
• Dataflow analysis of array and scalar references
• scientific article; zbMATH DE number 4045122 (Why is no real title available?)
• Iterate, incrementalize, and implement: a systematic approach to efficiency improvement and guarantees
• Properties of data flow frameworks: A unified model
• Fuzzy array dataflow analysis
• An efficient bitwise algorithm for intra-procedural data-flow testing coverage
• scientific article; zbMATH DE number 3907743 (Why is no real title available?)
• An even faster solver for general systems of equations
• Property-oriented expansion
• A region analysis algorithm for the live variables problem
• scientific article; zbMATH DE number 2087560 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1088400)