{"id":"https://openalex.org/W2392294830","doi":null,"title":"Study on Fast Automatic Program Flow Analysis Method","display_name":"Study on Fast Automatic Program Flow Analysis Method","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2392294830","mag":"2392294830"},"language":"en","primary_location":{"id":"mag:2392294830","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTotal-JSJC201015021.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764825856","display_name":"Jisuanji gongcheng","issn_l":"1000-3428","issn":["1000-3428"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","poland-20"],"host_organization":"https://openalex.org/P4361727472","host_organization_name":"East China Computer Technology Research Institute","host_organization_lineage":["https://openalex.org/P4361727472"],"host_organization_lineage_names":["East China Computer Technology Research Institute"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Jisuanji gongcheng","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Houhua Cao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Houhua Cao","raw_affiliation_strings":["Software College,Dalian University of Technology,Dalian 116024)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software College,Dalian University of Technology,Dalian 116024)","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27357992"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7705000042915344,"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/T10126","display_name":"Logic, programming, and type systems","score":0.7705000042915344,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.17970000207424164,"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/T10260","display_name":"Software Engineering Research","score":0.01269999984651804,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.8820000290870667},{"id":"https://openalex.org/keywords/static-single-assignment-form","display_name":"static single assignment","score":0.984000027179718},{"id":"https://openalex.org/keywords/data-dependencies","display_name":"data dependencies","score":0.9449999928474426},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.9120000004768372},{"id":"https://openalex.org/keywords/loop-control","display_name":"loop control","score":0.7350000143051147}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.9230573177337646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9034432172775269},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.7883811593055725},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.715745210647583},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.7109429836273193},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6740343570709229},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.6046207547187805},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.547082245349884},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.5212200880050659},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5210011601448059},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5014870166778564},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.49463316798210144},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.47728481888771057},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.46844321489334106},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.4594520032405853},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44774091243743896},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4466439187526703},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.42312395572662354},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4190806448459625},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.307353138923645},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.13700875639915466},{"id":"https://openalex.org/C120558287","wikidata":"https://www.wikidata.org/wiki/Q1418502","display_name":"Procedural programming","level":4,"score":0.09244495630264282},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.08380457758903503},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2392294830","doi":null,"is_oa":false,"landing_page_url":"http://en.cnki.com.cn/Article_en/CJFDTotal-JSJC201015021.htm","pdf_url":null,"source":{"id":"https://openalex.org/S2764825856","display_name":"Jisuanji gongcheng","issn_l":"1000-3428","issn":["1000-3428"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","poland-20"],"host_organization":"https://openalex.org/P4361727472","host_organization_name":"East China Computer Technology Research Institute","host_organization_lineage":["https://openalex.org/P4361727472"],"host_organization_lineage_names":["East China Computer Technology Research Institute"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Jisuanji gongcheng","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2349599470","https://openalex.org/W7099495450","https://openalex.org/W7100435541","https://openalex.org/W2025554746","https://openalex.org/W2568957189","https://openalex.org/W1986640886","https://openalex.org/W2088017390","https://openalex.org/W2144685853","https://openalex.org/W2377857648","https://openalex.org/W1968803687"],"abstract_inverted_index":{"An":[0],"automatic":[1],"program":[2,18,25,47,72,82],"flow":[3,48,75],"analysis":[4,76],"method":[5,54,61,77],"is":[6,55,67,78],"presented,which":[7],"uses":[8,20,41],"static":[9],"single":[10],"assignment":[11],"to":[12,28,44,63],"simplify":[13],"data":[14],"dependence":[15],"relation":[16],"in":[17],"slicing,and":[19],"a":[21],"simple":[22],"and":[23,31],"fast":[24,57],"slicing":[26],"algorithm":[27],"delete":[29],"statements":[30],"control":[32],"predicate":[33],"which":[34],"has":[35],"no":[36,68],"effect":[37],"on":[38,71],"loop":[39],"control,and":[40],"abstract":[42],"interpretation":[43],"get":[45],"precise":[46],"information":[49],"automatically.Experimental":[50],"results":[51],"show":[52],"this":[53],"more":[56],"than":[58],"the":[59,74],"normal":[60],"up":[62],"25%,while":[64],"keeping":[65],"precision.Moreover,there":[66],"any":[69,81],"assume":[70],"form,so":[73],"suitable":[79],"for":[80],"form.":[83]},"counts_by_year":[],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}