乐胖代购免代理版

{"id":"https://openalex.org/W2530894209","doi":"https://doi.org/10.1002/smr.1803","title":"The formal semantics of program slicing for nonterminating computations","display_name":"The formal semantics of program slicing for nonterminating computations","publication_year":2016,"publication_date":"2016-10-04","ids":{"openalex":"https://openalex.org/W2530894209","doi":"https://doi.org/10.1002/smr.1803","mag":"2530894209"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1002/smr.1803","pdf_url":null,"source":{"id":"https://openalex.org/S4210172359","display_name":"Journal of Software Evolution and Process","issn_l":"2047-7473","issn":["2047-7473","2047-7481"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dora.dmu.ac.uk/bitstreams/45fa5060-1a3d-4a16-a2ab-174bb014e955/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076832221","display_name":"Martin Ward","orcid":"https://orcid.org/0000-0001-7127-3311"},"institutions":[{"id":"https://openalex.org/I66943878","display_name":"De Montfort University","ror":"https://ror.org/0312pnr83","country_code":"GB","type":"funder","lineage":["https://openalex.org/I66943878"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Martin Ward","raw_affiliation_strings":["Software Engineering, De Montfort University, Leicester, UK"],"affiliations":[{"raw_affiliation_string":"Software Engineering, De Montfort University, Leicester, UK","institution_ids":["https://openalex.org/I66943878"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111660006","display_name":"Hussein Zedan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210163116","display_name":"Applied Science University","ror":"https://ror.org/059zrbe49","country_code":"BH","type":"education","lineage":["https://openalex.org/I4210163116"]}],"countries":["BH"],"is_corresponding":false,"raw_author_name":"Hussein Zedan","raw_affiliation_strings":["Research and Graduate Studies at Applied Science University, Bahrain"],"affiliations":[{"raw_affiliation_string":"Research and Graduate Studies at Applied Science University, Bahrain","institution_ids":["https://openalex.org/I4210163116"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5076832221"],"corresponding_institution_ids":["https://openalex.org/I66943878"],"apc_list":null,"apc_paid":null,"fwci":0.908,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":4,"citation_normalized_percentile":{"value":0.798268,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":"29","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9991,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9985,"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.87524974},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.74433106},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.55698866},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4732685},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.41685462}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.87524974},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.8401151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7537664},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.74433106},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7374677},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.66314745},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.64908415},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.629902},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.62158823},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.55698866},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4755045},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4732685},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43587175},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.41685462},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1002/smr.1803","pdf_url":null,"source":{"id":"https://openalex.org/S4210172359","display_name":"Journal of Software Evolution and Process","issn_l":"2047-7473","issn":["2047-7473","2047-7481"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"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":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2086/12635","pdf_url":"https://dora.dmu.ac.uk/bitstreams/45fa5060-1a3d-4a16-a2ab-174bb014e955/download","source":{"id":"https://openalex.org/S4306400394","display_name":"DMU Open Research Archive (De Montfort University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I66943878","host_organization_name":"De Montfort University","host_organization_lineage":["https://openalex.org/I66943878"],"host_organization_lineage_names":["De Montfort University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hdl.handle.net/2086/12635","pdf_url":"https://dora.dmu.ac.uk/bitstreams/45fa5060-1a3d-4a16-a2ab-174bb014e955/download","source":{"id":"https://openalex.org/S4306400394","display_name":"DMU Open Research Archive (De Montfort University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I66943878","host_organization_name":"De Montfort University","host_organization_lineage":["https://openalex.org/I66943878"],"host_organization_lineage_names":["De Montfort University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":50,"referenced_works":["https://openalex.org/W1546381996","https://openalex.org/W1546606300","https://openalex.org/W1562266624","https://openalex.org/W1571676662","https://openalex.org/W1575308494","https://openalex.org/W1968675890","https://openalex.org/W1980072053","https://openalex.org/W1988503504","https://openalex.org/W2006802414","https://openalex.org/W2016919797","https://openalex.org/W2030309884","https://openalex.org/W2036088890","https://openalex.org/W2038280905","https://openalex.org/W2044529811","https://openalex.org/W2047854842","https://openalex.org/W2064625489","https://openalex.org/W2066210260","https://openalex.org/W2076807040","https://openalex.org/W2079083905","https://openalex.org/W2080973181","https://openalex.org/W2084338221","https://openalex.org/W2092483417","https://openalex.org/W2094182642","https://openalex.org/W2095916392","https://openalex.org/W2098347737","https://openalex.org/W2103953153","https://openalex.org/W2107855694","https://openalex.org/W2108750355","https://openalex.org/W2110690620","https://openalex.org/W2124228276","https://openalex.org/W2124478270","https://openalex.org/W2138777463","https://openalex.org/W2139790543","https://openalex.org/W2140553717","https://openalex.org/W2141109493","https://openalex.org/W2147082313","https://openalex.org/W2151111302","https://openalex.org/W2153923555","https://openalex.org/W2157942410","https://openalex.org/W2160578811","https://openalex.org/W2162046779","https://openalex.org/W2293624369","https://openalex.org/W2640365788","https://openalex.org/W2911591512","https://openalex.org/W3004322318","https://openalex.org/W303139982","https://openalex.org/W4248866631","https://openalex.org/W4252041214","https://openalex.org/W4285719527","https://openalex.org/W53653091"],"related_works":["https://openalex.org/W3106373601","https://openalex.org/W3007870257","https://openalex.org/W2952469471","https://openalex.org/W2348616540","https://openalex.org/W2089938479","https://openalex.org/W2020259928","https://openalex.org/W1975908952","https://openalex.org/W1575848714","https://openalex.org/W1487472891","https://openalex.org/W1426476981"],"abstract_inverted_index":{"Abstract":[0],"Since":[1],"the":[2,24,50,88,100,112],"original":[3],"development":[4],"of":[5,26,102,124],"program":[6,113],"slicing":[7,36,40,58,68,107],"in":[8,132],"1979":[9],"there":[10],"have":[11],"been":[12],"many":[13],"attempts":[14,52],"to":[15,53,84,87,98,140],"define":[16,23],"a":[17,27,55,61,77,103,106],"suitable":[18],"semantics,":[19,64,80],"which":[20,65,81,127],"will":[21],"precisely":[22],"meaning":[25],"slice.":[28],"Particular":[29],"issues":[30],"include":[31],"handling":[32],"termination":[33],"and":[34,39,48,59,71,109,116,126],"nontermination,":[35],"nonterminating":[37,70,141],"programs,":[38,135],"nondeterministic":[41,72],"programs.":[42,73,143],"In":[43],"this":[44],"paper":[45],"we":[46,82],"review":[47],"critique":[49],"main":[51],"construct":[54],"semantics":[56],"for":[57,69],"present":[60,76],"new":[62],"operational":[63,89],"correctly":[66],"handles":[67],"We":[74],"also":[75],"modified":[78],"denotational":[79],"prove":[83,99],"be":[85,138],"equivalent":[86],"semantics.":[90],"This":[91],"provides":[92],"programmers":[93],"with":[94],"2":[95],"different":[96],"methods":[97],"correctness":[101],"slice":[104],"or":[105],"algorithm":[108],"means":[110],"that":[111],"transformation":[114,118],"theory":[115],"FermaT":[117],"system,":[119],"developed":[120],"last":[121],"25":[122],"years":[123],"research,":[125],"has":[128],"proved":[129],"so":[130],"successful":[131],"analyzing":[133],"terminating":[134],"can":[136],"now":[137],"applied":[139],"interactive":[142]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2530894209","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-03-17T18:03:54.879828","created_date":"2016-10-21"}