An incremental version of iterative data flow analysis

A technique is presented for incrementally updating solutions to both union and intersection data-flow problems in response to program edits and transformations. For generality, the technique is based on the iterative approach to computing data-flow information. The authors show that for both union...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 15; číslo 12; s. 1537 - 1549
Hlavní autoři: Pollock, L.L., Soffa, M.L.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York, NY IEEE 01.12.1989
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Témata:
Algorithms
Application software
Applied sciences
Computer programming
Computer science
Computer science; control theory; systems
Data analysis
Data flow computing
Exact sciences and technology
Graph representations
Information analysis
Iterative methods
Optimization
Optimization methods
Optimizing compilers
Programming environments
Programs
Software
Software engineering
Software testing
Systems analysis
Transborder data flow
Code generation
Compiler
Compilation
Programming environment
Program transformation
Optimization
Data flow
ISSN:0098-5589, 1939-3520
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:A technique is presented for incrementally updating solutions to both union and intersection data-flow problems in response to program edits and transformations. For generality, the technique is based on the iterative approach to computing data-flow information. The authors show that for both union and intersection problems, some changes can be incrementally incorporated immediately into the data-flow sets while others are handled by a two-phase approach. The first phase updates the data-flow sets to overestimate the effect of the program change, enabling the second phase to incrementally update the affected data-flow sets to reflect the actual program change. An important problem that is addressed is the computation of the data-flow changes that need to be propagated throughout a program, based on different local code changes. The technique is compared to other approaches to incremental data-flow analysis.< >
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/32.58766