A region analysis algorithm for the live variables problem

DOI10.1007/BF02242267zbMath0547.68064OpenAlexW35964572MaRDI QIDQ799117

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 complexityreducible flow graphsdata flow analysisglobal program optimizationlive variablesregion 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)

Cites Work

• Node listings for reducible flow graphs
• Monotone data flow analysis frameworks
• Fast algorithms for the elimination of common subexpressions
• Characterizations of Reducible Flow Graphs
• Global Data Flow Analysis and Iterative Algorithms
• A program data flow analysis procedure
• A Fast and Usually Linear Algorithm for Global Flow Analysis
• A Simple Algorithm for Global Data Flow Analysis Problems
• A Comparison of Two Algorithms for Global Data Flow Analysis
• Use-definition chains with applications
• A global flow analysis algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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