A region analysis algorithm for the live variables problem
type: Item
instance of: scholarly article
title: A region analysis algorithm for the live variables problem
zbMATH Open document ID: 0547.68064
DOI: 10.1007/BF02242267
published in: Computing
publication date: 1984-01-01T00:00:00Z
review text: An algorithm to solve the ''live variables'' problem on reducible flow graphs is presented. It is based on the concept of a region of a flow graph. The algorithm is compared for time complexity with the well-known round-robin version of the iterative algorithm on ''self-replicating'' families of reducible flow graphs. The results of comparison are inconclusive in that the region analysis algorithm requires fewer bit- vector operations on some graphs and more on others.
Mathematics Subject Classification ID: 68R10
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 3872699
zbMATH Keywords: global program optimization
zbMATH Keywords: interval analysis
zbMATH Keywords: data flow analysis
zbMATH Keywords: live variables
zbMATH Keywords: reducible flow graphs
zbMATH Keywords: time complexity
zbMATH Keywords: region analysis algorithm
author: Zbigniew J. Czech
MaRDI profile type: Publication
cites work: Q4068115
cites work: Node listings for reducible flow graphs
cites work: A program data flow analysis procedure
cites work: Q5657644
cites work: A Fast and Usually Linear Algorithm for Global Flow Analysis
cites work: Q4162449
cites work: Characterizations of Reducible Flow Graphs
cites work: A Simple Algorithm for Global Data Flow Analysis Problems
cites work: Monotone data flow analysis frameworks
cites work: Global Data Flow Analysis and Iterative Algorithms
cites work: A global flow analysis algorithm
cites work: A Comparison of Two Algorithms for Global Data Flow Analysis
cites work: Use-definition chains with applications
cites work: Q4068060
cites work: Q4181285
cites work: Q4125700
cites work: Fast algorithms for the elimination of common subexpressions
full work available at URL: https://doi.org/10.1007/bf02242267
OpenAlex ID: W35964572
description: scientific article; zbMATH DE number 3872699