A region analysis algorithm for the live variables problem

DOI10.1007/BF02242267MaRDI QIDQ799117zbMATH OpenOpenAlexFDO

Authors Zbigniew J. Czech

Publication date 1984

Published in Computing (Search for Journal in Brave)

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

zbMATH Keywords

interval analysistime complexitydata flow analysisglobal program optimizationlive variablesreducible flow graphsregion analysis algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3885296
• scientific article; zbMATH DE number 3870590
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• An efficient general iterative algorithm for dataflow analysis
• Using locality of flow in dataflow analyses.

Cites work

• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 3485226 (Why is no real title available?)
• scientific article; zbMATH DE number 3551830 (Why is no real title available?)
• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• scientific article; zbMATH DE number 3617563 (Why is no real title available?)
• scientific article; zbMATH DE number 3388535 (Why is no real title available?)
• A Comparison of Two Algorithms for Global Data Flow Analysis
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• A Simple Algorithm for Global Data Flow Analysis Problems
• A global flow analysis algorithm
• A program data flow analysis procedure
• Characterizations of Reducible Flow Graphs
• Fast algorithms for the elimination of common subexpressions
• Global Data Flow Analysis and Iterative Algorithms
• Monotone data flow analysis frameworks
• Node listings for reducible flow graphs
• Use-definition chains with applications

Cited in

(3)

• A Fast and Usually Linear Algorithm for Global Flow Analysis
• scientific article; zbMATH DE number 3885296 (Why is no real title available?)
• scientific article; zbMATH DE number 3870590 (Why is no real title available?)

This page was built for publication: A region analysis algorithm for the live variables problem

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