{"id":"https://openalex.org/W1592463075","doi":"https://doi.org/10.1007/11573937_15","title":"Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs","display_name":"Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1592463075","doi":"https://doi.org/10.1007/11573937_15","mag":"1592463075"},"language":"en","primary_location":{"id":"doi:10.1007/11573937_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11573937_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074931782","display_name":"Jianyu Xiao","orcid":"https://orcid.org/0000-0002-4043-9101"},"institutions":[{"id":"https://openalex.org/I206324368","display_name":"Shaoyang University","ror":"https://ror.org/03fx09x73","country_code":"CN","type":"education","lineage":["https://openalex.org/I206324368"]},{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianyu Xiao","raw_affiliation_strings":["Department of Computer Science, Shaoyang University, Shaoyang, 422000, China","School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Shaoyang University, Shaoyang, 422000, China","institution_ids":["https://openalex.org/I206324368"]},{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027078109","display_name":"Deyun Zhang","orcid":"https://orcid.org/0000-0002-4041-3083"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Deyun Zhang","raw_affiliation_strings":["School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100734400","display_name":"Haiquan Chen","orcid":"https://orcid.org/0000-0001-7846-257X"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiquan Chen","raw_affiliation_strings":["School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000624130","display_name":"Hao Dong","orcid":"https://orcid.org/0000-0003-2261-9122"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Dong","raw_affiliation_strings":["School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi\u2019an Jiaotong University, Xi\u2019an, 710049, China","institution_ids":["https://openalex.org/I87445476"]},{"raw_affiliation_string":"School of Electronics and Information Engineering, Xi'an Jiaotong University, Xi'an, 710049, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"121","last_page":"130"},"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.9998000264167786,"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.9998000264167786,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9972000122070312,"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/program-slicing","display_name":"Program slicing","score":0.9474889039993286},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.866479754447937},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8380014896392822},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.8061105012893677},{"id":"https://openalex.org/keywords/dependence-analysis","display_name":"Dependence analysis","score":0.5483104586601257},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5352813601493835},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4753111004829407},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4612866938114166},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4218074083328247},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4113262891769409},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.399271696805954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38631391525268555},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.242437481880188}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.9474889039993286},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.866479754447937},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8380014896392822},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8061105012893677},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.5483104586601257},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5352813601493835},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4753111004829407},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4612866938114166},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4218074083328247},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4113262891769409},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.399271696805954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38631391525268555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.242437481880188},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11573937_15","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11573937_15","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1486220438","https://openalex.org/W1512687743","https://openalex.org/W1546381996","https://openalex.org/W1559507652","https://openalex.org/W1985509776","https://openalex.org/W2005771507","https://openalex.org/W2008860182","https://openalex.org/W2012131382","https://openalex.org/W2016449454","https://openalex.org/W2068674794","https://openalex.org/W2148543908","https://openalex.org/W2158569306","https://openalex.org/W2476089118","https://openalex.org/W2494990597","https://openalex.org/W4242566119"],"related_works":["https://openalex.org/W1657791491","https://openalex.org/W2124822255","https://openalex.org/W112880967","https://openalex.org/W2373102162","https://openalex.org/W2368215330","https://openalex.org/W1592463075","https://openalex.org/W1992097886","https://openalex.org/W2148030978","https://openalex.org/W2394154879","https://openalex.org/W117886902"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}