{"id":"https://openalex.org/W2012101653","doi":"https://doi.org/10.1002/smr.4360070304","title":"Context\u2010dependent flow\u2010sensitive interprocedural dataflow analysis","display_name":"Context\u2010dependent flow\u2010sensitive interprocedural dataflow analysis","publication_year":1995,"publication_date":"1995-05-01","ids":{"openalex":"https://openalex.org/W2012101653","doi":"https://doi.org/10.1002/smr.4360070304","mag":"2012101653"},"language":"en","primary_location":{"id":"doi:10.1002/smr.4360070304","is_oa":true,"landing_page_url":"https://doi.org/10.1002/smr.4360070304","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/smr.4360070304","source":{"id":"https://openalex.org/S4210205480","display_name":"Journal of Software Maintenance Research and Practice","issn_l":"1040-550X","issn":["1040-550X","1096-908X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software Maintenance: Research and Practice","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/smr.4360070304","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069861197","display_name":"Kurt R. Johmann","orcid":null},"institutions":[{"id":"https://openalex.org/I16718484","display_name":"Hess (United States)","ror":"https://ror.org/00zbk1w77","country_code":"US","type":"company","lineage":["https://openalex.org/I16718484"]},{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kurt R. Johmann","raw_affiliation_strings":["Computer and Information Sciences Department, University of Florida, Gainesville, FL 32611-2024, U.S.A","Kurt Johmann was born in Elizabeth, New Jersey, in 1955. He obtained a B.A. in computer science from Rutgers University in 1978. From 1978 to 1988 he worked first as a systems analyst, and then as a PC software developer. In 1989 he received an M.S., and in 1992 a Ph.D., in computer science from the University of Florida. He has since returned to software development work"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer and Information Sciences Department, University of Florida, Gainesville, FL 32611-2024, U.S.A","institution_ids":["https://openalex.org/I33213144"]},{"raw_affiliation_string":"Kurt Johmann was born in Elizabeth, New Jersey, in 1955. He obtained a B.A. in computer science from Rutgers University in 1978. From 1978 to 1988 he worked first as a systems analyst, and then as a PC software developer. In 1989 he received an M.S., and in 1992 a Ph.D., in computer science from the University of Florida. He has since returned to software development work","institution_ids":["https://openalex.org/I16718484"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112932617","display_name":"S. L. Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I25846049","display_name":"National Tsing Hua University","ror":"https://ror.org/00zdnkx70","country_code":"TW","type":"education","lineage":["https://openalex.org/I25846049"]},{"id":"https://openalex.org/I92172085","display_name":"Chunghwa Telecom (Taiwan)","ror":"https://ror.org/04f786589","country_code":"TW","type":"company","lineage":["https://openalex.org/I92172085"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Sying\u2010Syang Liu","raw_affiliation_strings":["Switching Technology Laboratory, Telecommunication Laboratories, Chungli, Taiwan 32099","Sying-Syang Liu received the B.S. degree in mathematics from National Taiwan University, Taipei, in 1977, the M.S. degree in computer science from National Tsing-Hua University, Hsinchu, in 1980, and the Ph.D. degree in computer science from Northwestern University, Evanston, in 1987. He was an Instructor at the National Defense Finance and Quarter Master College, Banchow, from 1980 to 1982. He was a Research Assistant in the Institute of Information Science, Academia Sinica, Taipei, from 1982 to 1984. In 1988, he joined the Department of Computer and Information Sciences at the University of Florida, Gainesville. Since 1991, he has been with Telecommunication Laboratories, Taiwan, where he is currently a Research Engineer and works in the areas of system quality assurance, ATM broadband switch, and telecommunication network"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Switching Technology Laboratory, Telecommunication Laboratories, Chungli, Taiwan 32099","institution_ids":["https://openalex.org/I92172085"]},{"raw_affiliation_string":"Sying-Syang Liu received the B.S. degree in mathematics from National Taiwan University, Taipei, in 1977, the M.S. degree in computer science from National Tsing-Hua University, Hsinchu, in 1980, and the Ph.D. degree in computer science from Northwestern University, Evanston, in 1987. He was an Instructor at the National Defense Finance and Quarter Master College, Banchow, from 1980 to 1982. He was a Research Assistant in the Institute of Information Science, Academia Sinica, Taipei, from 1982 to 1984. In 1988, he joined the Department of Computer and Information Sciences at the University of Florida, Gainesville. Since 1991, he has been with Telecommunication Laboratories, Taiwan, where he is currently a Research Engineer and works in the areas of system quality assurance, ATM broadband switch, and telecommunication network","institution_ids":["https://openalex.org/I25846049"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067217334","display_name":"Stephen S. Yau","orcid":"https://orcid.org/0000-0002-6663-5565"},"institutions":[{"id":"https://openalex.org/I1316555468","display_name":"Federation of American Societies for Experimental Biology","ror":"https://ror.org/01mh1c318","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1316555468"]},{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen S. Yau","raw_affiliation_strings":["Department of Computer Science and Engineering, Arizona State University, Tempe, AZ 85287-5406, U.S.A","Stephen S. Yau has been Chairman of the Computer Science and Engineering Department, Arizona State University since 1994. He was previously Chairman of Computer and Information Sciences Department, University of Florida, and Chairman of Electrical Engineering and Computer Science Department, Northwestern University. He has been President of the Computer Society of the Institute of Electrical and Electronic Engineers (IEEE), and American Federation of Information Processing Societies. His current research interests are in software engineering, especially software development for distributed and parallel computing systems, and software maintenance. He has published numerous research papers in these and other areas. He is a Fellow of the IEEE and American Association for the Advancement of Science. He received a number of awards for his research accomplishments and contributions to the computer profession. He received the B.S. degree from National Taiwan University, the M.S. and Ph.D. degrees from the University of Illinois, Urbana, all in electrical engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Arizona State University, Tempe, AZ 85287-5406, U.S.A","institution_ids":["https://openalex.org/I55732556"]},{"raw_affiliation_string":"Stephen S. Yau has been Chairman of the Computer Science and Engineering Department, Arizona State University since 1994. He was previously Chairman of Computer and Information Sciences Department, University of Florida, and Chairman of Electrical Engineering and Computer Science Department, Northwestern University. He has been President of the Computer Society of the Institute of Electrical and Electronic Engineers (IEEE), and American Federation of Information Processing Societies. His current research interests are in software engineering, especially software development for distributed and parallel computing systems, and software maintenance. He has published numerous research papers in these and other areas. He is a Fellow of the IEEE and American Association for the Advancement of Science. He received a number of awards for his research accomplishments and contributions to the computer profession. He received the B.S. degree from National Taiwan University, the M.S. and Ph.D. degrees from the University of Illinois, Urbana, all in electrical engineering","institution_ids":["https://openalex.org/I1316555468"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.22747093,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"3","first_page":"177","last_page":"202"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9674912095069885},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.896317720413208},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6668545007705688},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6183123588562012},{"id":"https://openalex.org/keywords/dataflow-architecture","display_name":"Dataflow architecture","score":0.5581778883934021},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5353800058364868},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5291417241096497},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5222345590591431},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44096338748931885},{"id":"https://openalex.org/keywords/vectorization","display_name":"Vectorization (mathematics)","score":0.417375385761261},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4149734079837799}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9674912095069885},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.896317720413208},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6668545007705688},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6183123588562012},{"id":"https://openalex.org/C176727019","wikidata":"https://www.wikidata.org/wiki/Q1172415","display_name":"Dataflow architecture","level":3,"score":0.5581778883934021},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5353800058364868},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5291417241096497},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5222345590591431},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44096338748931885},{"id":"https://openalex.org/C41681595","wikidata":"https://www.wikidata.org/wiki/Q7917855","display_name":"Vectorization (mathematics)","level":2,"score":0.417375385761261},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4149734079837799},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/smr.4360070304","is_oa":true,"landing_page_url":"https://doi.org/10.1002/smr.4360070304","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/smr.4360070304","source":{"id":"https://openalex.org/S4210205480","display_name":"Journal of Software Maintenance Research and Practice","issn_l":"1040-550X","issn":["1040-550X","1096-908X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software Maintenance: Research and Practice","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/smr.4360070304","is_oa":true,"landing_page_url":"https://doi.org/10.1002/smr.4360070304","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/smr.4360070304","source":{"id":"https://openalex.org/S4210205480","display_name":"Journal of Software Maintenance Research and Practice","issn_l":"1040-550X","issn":["1040-550X","1096-908X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software Maintenance: Research and Practice","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2012101653.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W110734221","https://openalex.org/W1491178396","https://openalex.org/W1964583443","https://openalex.org/W1966449927","https://openalex.org/W1974909417","https://openalex.org/W1981131019","https://openalex.org/W1991133357","https://openalex.org/W2028806953","https://openalex.org/W2031364891","https://openalex.org/W2039207168","https://openalex.org/W2050320220","https://openalex.org/W2088017390","https://openalex.org/W2092483417","https://openalex.org/W2144344516","https://openalex.org/W2145913834","https://openalex.org/W2152669030","https://openalex.org/W3004911069","https://openalex.org/W4246961164"],"related_works":["https://openalex.org/W2564598376","https://openalex.org/W1484403103","https://openalex.org/W2584408851","https://openalex.org/W2115158825","https://openalex.org/W2101960124","https://openalex.org/W2783505431","https://openalex.org/W2521947294","https://openalex.org/W2070353846","https://openalex.org/W4236419692","https://openalex.org/W2017802743"],"abstract_inverted_index":{"Abstract":[0],"Interprocedural":[1],"dataflow":[2,13,43,81,90],"analysis":[3],"is":[4,83,154],"useful":[5],"in":[6,116,138,145],"compiler":[7],"optimization,":[8],"automatic":[9],"vectorization":[10],"and":[11,16,24,53,108,180,183],"parallelization,":[12],"anomaly":[14],"detection,":[15],"software":[17,25],"maintenance":[18],"applications":[19,38],"such":[20,45],"as":[21,46],"program":[22,30,97],"revalidation,":[23],"tools":[26],"that":[27,92,125,134,169,186],"make":[28],"a":[29,74,96,127,149,159],"more":[31],"understandable":[32],"by":[33,156],"showing":[34],"data":[35],"dependencies.":[36],"These":[37],"require":[39],"the":[40,61,117,139,146,165,184,187,194,197],"solution":[41],"of":[42,63,80,88,158,174,189,196],"problems":[44,59],"reaching":[47],"definitions,":[48],"live":[49],"variables,":[50],"available":[51],"expressions,":[52],"definition\u2010use":[54],"chains.":[55],"When":[56],"solving":[57],"these":[58],"interprocedurally,":[60],"context":[62,153],"each":[64,114],"call":[65],"must":[66],"be":[67],"taken":[68],"into":[69],"account.":[70],"In":[71,99],"this":[72,78,175],"paper,":[73],"method":[75,86,176],"to":[76,101],"solve":[77],"kind":[79],"problem":[82],"presented.":[84],"This":[85],"consists":[87],"special":[89],"equations":[91],"are":[93,111,177],"solved":[94],"for":[95,168],"flowgraph.":[98,118],"deference":[100],"calling":[102,152],"context,":[103],"separate":[104],"sets,":[105,110],"called":[106],"entry":[107,120,147],"body":[109,130],"maintained":[112],"at":[113,164],"node":[115,167],"The":[119,129,171],"set":[121,131],"contains":[122,132],"calling\u2010context":[123,143],"effects":[124,133,144],"enter":[126],"procedure.":[128,140],"result":[135],"from":[136],"statements":[137],"By":[141],"isolating":[142],"set,":[148],"call's":[150],"nonkilled":[151],"preserved":[155],"means":[157],"simple":[160],"intersection":[161],"operation":[162],"done":[163],"return":[166],"call.":[170],"main":[172],"advantages":[173],"its":[178],"precision":[179],"low":[181],"complexity,":[182],"fact":[185],"presence":[188],"recursion":[190],"does":[191],"not":[192],"affect":[193],"accuracy":[195],"result.":[198]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}