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!
Abstract 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.< >
AbstractList 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.< >
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
Information about the flow of data in a program is required in a number of applications including code optimization and parallelization, instruction scheduling, and data flow testing. We present a technique to incrementally update solutions to both union and intersection data flow problems in response to program edits and transformations.
Data flow analysis is the process of collecting information about the flow of data throughout the corresponding code segment. Transformations and edits applied to program code require the update of data flow information to reflect the changed code. Data flow information can be updated either by repeating the original analysis after a modification or by using incremental techniques that attempt to reuse some of the analysis and recompute only the information affected by the modification. A technique is presented to incrementally update solutions to both union and intersection data flow problems in response to program edits and transformations. The technique is based on the iterative approach to computing data flow information. It is shown that, for both union and intersection problems, some changes can be incorporated incrementally into the data flow sets immediately, while others are handled by a 2-phase approach.
Author Pollock, L.L.
Soffa, M.L.
Author_xml – sequence: 1
  givenname: L.L.
  surname: Pollock
  fullname: Pollock, L.L.
  organization: Dept. of Comput. Sci., Rice Univ., Houston, TX, USA
– sequence: 2
  givenname: M.L.
  surname: Soffa
  fullname: Soffa, M.L.
BackLink http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=6642712$$DView record in Pascal Francis
BookMark eNqF0UtLAzEQAOAgCrZV8OptEREvWzPJ5nUsxRcUvOg5xDgLkW2iyVbpv3dr1YMInuYw3wzzGJPdmCIScgR0CkDNBWdToZWUO2QEhpuaC0Z3yYhSo2shtNkn41KeKaVCKTEicharEH3GJcbeddUb5hJSrFJbhR6z68MbVk-ud1XbpffKRdetSygHZK91XcHDrzghD1eX9_ObenF3fTufLWrPJfR1wzQqaBWAUAJQI2jdoDdUPLoBSGiN8R5Zw6gaRnpqUKGgDXJvWCPlI5-Qs23fl5xeV1h6uwzFY9e5iGlVLNMNKG70_1BwUEpt4Mkv-JxWeVirWDDDgaTQMKDTL-SKd12bXfSh2Jccli6vrZQNU8AGNt0yn1MpGVvrQz-cLMU-u9BZoHbzE8uZ_fzJUHD-q-C75R_0eEsDIv6wbe4D_GmSJQ
CODEN IESEDJ
CitedBy_id crossref_primary_10_1145_271775_271780
crossref_primary_10_1002_smr_2719
crossref_primary_10_1109_32_232023
crossref_primary_10_1007_s10009_024_00763_0
crossref_primary_10_1145_267959_269970
crossref_primary_10_1145_3656414
crossref_primary_10_1145_3648441
crossref_primary_10_1145_366378_366385
crossref_primary_10_1002__SICI_1520_684X_199812_29_14_58__AID_SCJ7_3_0_CO_2_T
crossref_primary_10_1145_383043_381532
crossref_primary_10_1145_982962_964004
crossref_primary_10_1145_167049_167063
crossref_primary_10_1145_3768155
crossref_primary_10_1145_3720436
crossref_primary_10_1017_S1471068420000496
crossref_primary_10_1016_0164_1212_92_90053_M
crossref_primary_10_1016_0020_0255_96_00076_X
crossref_primary_10_1002_stvr_4370030104
crossref_primary_10_1145_3743132
crossref_primary_10_1109_5_293155
crossref_primary_10_1145_200994_200996
crossref_primary_10_1145_1516507_1516509
crossref_primary_10_1145_3276509
crossref_primary_10_1145_1162690_1162691
crossref_primary_10_1145_349214_349216
crossref_primary_10_1145_174634_174635
crossref_primary_10_1145_244795_244799
crossref_primary_10_1002_spe_4380201005
crossref_primary_10_1109_32_44377
crossref_primary_10_1109_32_56098
crossref_primary_10_1145_3649308
crossref_primary_10_1109_32_54294
crossref_primary_10_1145_3704901
crossref_primary_10_1145_128861_128865
crossref_primary_10_1145_367008_367022
Cites_doi 10.1145/53990.54006
10.1145/502874.502888
10.1145/800225.806832
10.1109/32.54294
10.1016/S0022-0000(74)80049-8
10.1145/360018.360025
10.1109/ICSM.1988.10185
10.1145/2166.357218
10.1145/321921.321939
10.1137/0204044
10.1145/567067.567084
10.1007/BF00289078
ContentType Journal Article
Copyright 1990 INIST-CNRS
Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1989
Copyright_xml – notice: 1990 INIST-CNRS
– notice: Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Dec 1989
DBID AAYXX
CITATION
IQODW
3V.
7WY
7WZ
7X7
7XB
87Z
88E
88F
88I
88K
8AL
8FE
8FG
8FI
8FJ
8FK
8FL
8G5
ABJCF
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BEZIV
BGLVJ
CCPQU
DWQXO
FRNLG
FYUFA
F~G
GHDGH
GNUQQ
GUQSH
HCIFZ
JQ2
K60
K6~
K7-
K9.
L.-
L6V
M0C
M0N
M0S
M1P
M1Q
M2O
M2P
M2T
M7S
MBDVC
P5Z
P62
PHGZM
PHGZT
PJZUB
PKEHL
PPXIY
PQBIZ
PQBZA
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
7SC
8FD
L7M
L~C
L~D
DOI 10.1109/32.58766
DatabaseName CrossRef
Pascal-Francis
ProQuest Central (Corporate)
ABI/INFORM Collection
ABI/INFORM Global (PDF only)
Health & Medical Collection
ProQuest Central (purchase pre-March 2016)
ABI/INFORM Collection
Medical Database (Alumni Edition)
Military Database (Alumni Edition)
Science Database (Alumni Edition)
Telecommunications (Alumni Edition)
Computing Database (Alumni Edition)
ProQuest SciTech Collection
ProQuest Technology Collection
Hospital Premium Collection
Hospital Premium Collection (Alumni Edition)
ProQuest Central (Alumni) (purchase pre-March 2016)
ABI/INFORM Collection (Alumni)
Research Library (Alumni)
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest SciTech Premium Collection Technology Collection Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Central
Business Premium Collection
ProQuest Technology Collection
ProQuest One
ProQuest Central
Business Premium Collection (Alumni)
Health Research Premium Collection
ABI/INFORM Global (Corporate)
Health Research Premium Collection (Alumni)
ProQuest Central Student
Research Library Prep (ProQuest)
SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Business Collection (Alumni Edition)
ProQuest Business Collection
Computer Science Database
ProQuest Health & Medical Complete (Alumni)
ABI/INFORM Professional Advanced
ProQuest Engineering Collection
ABI/INFORM Global
Computing Database
ProQuest Health & Medical Collection
Medical Database
Military Database (ProQuest)
Research Library
Science Database
Telecommunications Database
Engineering Database
Research Library (Corporate)
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest Health & Medical Research Collection
ProQuest One Academic Middle East (New)
ProQuest One Health & Nursing
ProQuest One Business
ProQuest One Business (Alumni)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
Computer and Information Systems Abstracts
Technology Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
ProQuest Business Collection (Alumni Edition)
Research Library Prep
Computer Science Database
ProQuest Central Student
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
SciTech Premium Collection
ProQuest Military Collection
ProQuest Central China
ABI/INFORM Complete
ProQuest Telecommunications
ProQuest One Applied & Life Sciences
Health Research Premium Collection
Health & Medical Research Collection
ProQuest Central (New)
ProQuest Medical Library (Alumni)
Engineering Collection
Advanced Technologies & Aerospace Collection
Business Premium Collection
ABI/INFORM Global
Engineering Database
ProQuest Science Journals (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Hospital Collection
ProQuest Technology Collection
Health Research Premium Collection (Alumni)
ProQuest Telecommunications (Alumni Edition)
ProQuest Business Collection
ProQuest Hospital Collection (Alumni)
ProQuest Health & Medical Complete
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest One Academic (New)
ABI/INFORM Global (Corporate)
ProQuest One Business
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Health & Medical Complete (Alumni)
ProQuest Central (Alumni Edition)
ProQuest One Community College
ProQuest One Health & Nursing
Research Library (Alumni Edition)
ProQuest Central
ABI/INFORM Professional Advanced
ProQuest Health & Medical Research Collection
ProQuest Engineering Collection
Health and Medicine Complete (Alumni Edition)
ProQuest Central Korea
ProQuest Research Library
ABI/INFORM Complete (Alumni Edition)
ProQuest Computing
ABI/INFORM Global (Alumni Edition)
ProQuest Central Basic
ProQuest Science Journals
ProQuest Computing (Alumni Edition)
ProQuest Military Collection (Alumni Edition)
ProQuest SciTech Collection
Advanced Technologies & Aerospace Database
ProQuest Medical Library
Materials Science & Engineering Collection
ProQuest One Business (Alumni)
ProQuest Central (Alumni)
Business Premium Collection (Alumni)
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList
Computer and Information Systems Abstracts
Computer and Information Systems Abstracts
ProQuest Business Collection (Alumni Edition)
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Applied Sciences
EISSN 1939-3520
EndPage 1549
ExternalDocumentID 1142745
6642712
10_1109_32_58766
58766
GroupedDBID --Z
-DZ
-~X
.4S
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
7WY
7X7
85S
88E
88I
8FE
8FG
8FI
8FJ
8FL
8G5
8R4
8R5
97E
9M8
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABFSI
ABJCF
ABPPZ
ABQJQ
ABUWG
ABVLG
ACGFO
ACGOD
ACIWK
ACNCT
ADBBV
AENEX
AETIX
AFKRA
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ARAPS
ARCSS
ASUFR
ATWAV
AZQEC
BEFXN
BENPR
BEZIV
BFFAM
BGLVJ
BGNUA
BKEBE
BKOMP
BPEOZ
BPHCQ
BVXVI
CCPQU
CS3
DU5
DWQXO
E.L
EBS
EDO
EJD
FRNLG
FYUFA
GNUQQ
GROUPED_ABI_INFORM_RESEARCH
GUQSH
HCIFZ
HMCUK
HZ~
H~9
I-F
IBMZZ
ICLAB
IEDLZ
IFIPE
IFJZH
IPLJI
ITG
ITH
JAVBF
K60
K6V
K6~
K7-
L6V
LAI
M0C
M1P
M1Q
M2O
M2P
M43
M7S
MS~
O9-
OCL
OHT
P2P
P62
PHGZM
PHGZT
PJZUB
PPXIY
PQBIZ
PQBZA
PQGLB
PQQKQ
PROAC
PSQYO
PTHSS
PUEGO
Q2X
RIA
RIE
RNI
RNS
RXW
RZB
S10
TAE
TN5
TWZ
UHB
UKHRP
UPT
UQL
VH1
WH7
XOL
YYP
YZZ
ZCG
AAYXX
AFFHD
CITATION
ALIPV
IQODW
RIG
3V.
7XB
88K
8AL
8FK
JQ2
K9.
L.-
M0N
M2T
MBDVC
PKEHL
PQEST
PQUKI
PRINS
Q9U
7SC
8FD
L7M
L~C
L~D
ID FETCH-LOGICAL-c361t-428e71f7115751e8e1884ec905ba36161f99cce24207000d4e7e504e3c92466b3
IEDL.DBID RIE
ISICitedReferencesCount 40
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=10_1109_32_58766&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0098-5589
IngestDate Sun Sep 28 07:17:41 EDT 2025
Sat Sep 27 16:45:43 EDT 2025
Mon Oct 06 17:02:54 EDT 2025
Mon Jul 21 09:13:11 EDT 2025
Tue Nov 18 21:24:06 EST 2025
Sat Nov 29 02:38:30 EST 2025
Wed Aug 27 02:47:43 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 12
Keywords Code generation
Compiler
Compilation
Programming environment
Program transformation
Optimization
Data flow
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
CC BY 4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c361t-428e71f7115751e8e1884ec905ba36161f99cce24207000d4e7e504e3c92466b3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
PQID 195586581
PQPubID 23500
PageCount 13
ParticipantIDs proquest_miscellaneous_25317778
crossref_citationtrail_10_1109_32_58766
proquest_journals_195586581
ieee_primary_58766
pascalfrancis_primary_6642712
crossref_primary_10_1109_32_58766
proquest_miscellaneous_28417398
PublicationCentury 1900
PublicationDate 1989-12-01
PublicationDateYYYYMMDD 1989-12-01
PublicationDate_xml – month: 12
  year: 1989
  text: 1989-12-01
  day: 01
PublicationDecade 1980
PublicationPlace New York, NY
PublicationPlace_xml – name: New York, NY
– name: New York
PublicationTitle IEEE transactions on software engineering
PublicationTitleAbbrev TSE
PublicationYear 1989
Publisher IEEE
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Publisher_xml – name: IEEE
– name: Institute of Electrical and Electronics Engineers
– name: IEEE Computer Society
References aho (ref1) 1986
pollock (ref13) 1986
ref15
ref14
ref11
ryder (ref16) 1987
ref10
ref2
ref17
ref19
ref18
ref8
ref7
ref9
ref4
ghodssi (ref6) 1983
carroll (ref3) 1986
kennedy (ref12) 1981
ellis (ref5) 1985
References_xml – year: 1983
  ident: ref6
  publication-title: Incremental Analysis of Programs
– ident: ref10
  doi: 10.1145/53990.54006
– ident: ref19
  doi: 10.1145/502874.502888
– ident: ref4
  doi: 10.1145/800225.806832
– ident: ref8
  doi: 10.1109/32.54294
– year: 1981
  ident: ref12
  publication-title: Program Flow Analysis Theory and Applications
– year: 1986
  ident: ref13
  publication-title: An approach to incremental compilation of optimized code
– ident: ref17
  doi: 10.1016/S0022-0000(74)80049-8
– ident: ref2
  doi: 10.1145/360018.360025
– ident: ref11
  doi: 10.1109/ICSM.1988.10185
– start-page: 171
  year: 1986
  ident: ref3
  article-title: 44An incremental algorithm for software analysis
  publication-title: Proc ACM SIGSoft/SIGPlan Symp Practical Software Development Environments
– year: 1985
  ident: ref5
  publication-title: Bulldog A Compiler for VLIW Architectures
– ident: ref14
  doi: 10.1145/2166.357218
– year: 1987
  ident: ref16
  publication-title: Incremental iteration When will it work?
– ident: ref7
  doi: 10.1145/321921.321939
– ident: ref9
  doi: 10.1137/0204044
– ident: ref15
  doi: 10.1145/567067.567084
– ident: ref18
  doi: 10.1007/BF00289078
– year: 1986
  ident: ref1
  publication-title: Compilers Principles Techniques and Tools
SSID ssj0005775
Score 1.541069
Snippet A technique is presented for incrementally updating solutions to both union and intersection data-flow problems in response to program edits and...
Data flow analysis is the process of collecting information about the flow of data throughout the corresponding code segment. Transformations and edits applied...
Information about the flow of data in a program is required in a number of applications including code optimization and parallelization, instruction...
SourceID proquest
pascalfrancis
crossref
ieee
SourceType Aggregation Database
Index Database
Enrichment Source
Publisher
StartPage 1537
SubjectTerms 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
SummonAdditionalLinks – databaseName: Research Library
  dbid: M2O
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1NT9wwEB1R6IFL-WgRCwWMVIlTSuzYsX1CCFjBgY9DkbhFjteWKqEEyFL-PmPHCaqKuDRHe6xEHvtNxh69B_CDecU9R_QTeSDVVpplRhubOcMkNWUtuJ9FsQl5daXu7vRNqs3pUlnlgIkRqGetDWfkh1QLoTBc0qOHxyyIRoXL1aSg8QmWME6XQcDgkl2_VXhIKQbKTBysE_cszfVhwX4K1VMjvkWjKK8SiiNNh_Pje2GLfzA6Bp7pyn9-8ip8SX-c5LhfImuw4Jp1WBnUHEja3F-hPG4IokV_XogD0kkaaT25iNTLiIvk1MwNmd63L2RgM_kGt9OzXyfnWVJVyGxR0nmG-YaT1MvAsiOoU44qxZ3VuagNGpTUa22tw9CNaJDnM-6kEzl3hcVUrSzrYgMWm7Zxm0C8V44pWzuTOy4FrwslC3xqrjnHuZzAwTC7lU2U40H54r6KqUeuq4JV0Q8T2B8tH3qajXds1oKDxv7UuPOXu8beEhMrSdkEtgffVGl3dtXomAnsjb24rcJdiWlc-9xVDLFJSqk-sFC4xAuttj58wzYsx6q0WADzHRbnT89uBz7bP_Pf3dNuXK-vIjLwvA
  priority: 102
  providerName: ProQuest
Title An incremental version of iterative data flow analysis
URI https://ieeexplore.ieee.org/document/58766
https://www.proquest.com/docview/195586581
https://www.proquest.com/docview/25317778
https://www.proquest.com/docview/28417398
Volume 15
WOSCitedRecordID wos10_1109_32_58766&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE/IET Electronic Library (IEL)
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: RIE
  dateStart: 19750101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
– providerCode: PRVPQU
  databaseName: ABI/INFORM Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7WY
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/abicomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ABI/INFORM Global
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M0C
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/abiglobal
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: P5Z
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: K7-
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Engineering Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M7S
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Health & Medical Collection
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: 7X7
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/healthcomplete
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Military Database (ProQuest)
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M1Q
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/military
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest - Research Library
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2O
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/pqrl
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: BENPR
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Science Database
  customDbUrl:
  eissn: 1939-3520
  dateEnd: 20120331
  omitProxy: false
  ssIdentifier: ssj0005775
  issn: 0098-5589
  databaseCode: M2P
  dateStart: 19870101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/sciencejournals
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3daxQxEA-2-uCLtX7gWXtGEHzaNsnm87GWFkE8T614-rJkcxMolF3p3bX_fifZ3EmxCO7DsLtJIDuTmWSS2d8Q8lZEK6NE66dYAtW2TlTe-VCBF4Z73SoZ5znZhJlM7GzmpgUmJ_8LAwA5-AwO0m0-y5_3YZW2yg4Vqq7eIlvG6OFPrT_BHMaoNTqmUtYVmFnO3GEtDnK7WxNPzqSS4iD9AlkRhxwWf5njPMec7vxP7x6TR2UlSY8G0e-Se9A9ITvrLA20KO1Too86et6FYR8QG1wNO2S0j3SAVEZ7R1OgKI0X_TX1BaXkGfl-enJ2_KEq2RKqUGu-rNCPAMOjSeg5ioMFbq2E4JhqPVbQPDoXAuCUjFrO2FyCAcUk1AFdMK3b-jnZ7voOXhAaowVhQwuegTRKtrU1NV6tdFLid4_IuzUrm1CgxFNGi4smuxTMNbVoMjtG5M2m5u8BPuOOOruJmZvy8nL_lmw2pRodJsPFiOytZdUUrVs03KHscUnFR-T1phTVJZ2B-A761aIRaHOMMfYfNSwO3drZl3d1a488zEFmOZ7lFdleXq5gnzwIV8vzxeUYR-aPn4nOzJjcf38ymX7Fp4-mQvqJHSfKvyQqPmc6zfQsUfMN6VT9GudxfQOoqurX
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VggQXSnmIpZQaCcQp1Hbs2D4gVLWsumq74lCk3oLjtSWkKmmbbSt-FP-RsfOoEKi3HsgxniRWZuabjD35BuAdD1oEgegnaSTV1oZn1liXecsVs0UlRVikZhNqPtcnJ-brCvwa_oWJZZUDJiagXjQurpFvMyOlxnDJPp-dZ7FpVNxcHTpodFZx4H9eY8bWfprtoXrfcz79cry7n_VNBTKXF2yZ4ee2VyyoSDIjmdeeaS28M1RWFgUKFoxxzmPkQmegdCG88pIKnzvMVIqiyvG-9-C-wLwrutUR3b2pKFFKDhSdOFnTc90yarZz_lHqjorxJvqldi6xGNO2qI_QNdL4KyakQDdd-89e0RN43H9Rk53OBdZhxddPYW3oVkF68HoGxU5NEA279VC8oF8pJE0gs0QtjbhP9uzSkulpc00Gtpbn8O1OZv8CVuum9i-BhKA9167ylnqhpKhyrXI8KmGEQN1N4MOgzdL1lOqxs8dpmVIrasqcl0nvE3g7Sp51NCL_kFmPBjGO9yc3_zCPcbTAxFExPoGNwRbKHn3acjSECWyNowgbcS_I1r65bEuO2KuU0rdIaHTh3OhXtz5hCx7uHx8dloez-cEGPEoVeKnY5zWsLi8u_SY8cFfLH-3Fm-QrBL7fteX9Bs-KSes
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+incremental+version+of+iterative+data+flow+analysis&rft.jtitle=IEEE+transactions+on+software+engineering&rft.au=Pollock%2C+L+L&rft.au=Soffa%2C+M+L&rft.date=1989-12-01&rft.issn=0098-5589&rft.volume=15&rft.issue=12&rft.spage=1537&rft.epage=1549&rft_id=info:doi/10.1109%2F32.58766&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0098-5589&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0098-5589&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0098-5589&client=summon