乐胖代购免代理版

{"id":"https://openalex.org/W2141670850","doi":"https://doi.org/10.1145/1330017.1330019","title":"Exceptional situations and program reliability","display_name":"Exceptional situations and program reliability","publication_year":2008,"publication_date":"2008-03-01","ids":{"openalex":"https://openalex.org/W2141670850","doi":"https://doi.org/10.1145/1330017.1330019","mag":"2141670850"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1330017.1330019","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083601969","display_name":"Westley Weimer","orcid":"https://orcid.org/0000-0001-6749-2204"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Westley Weimer","raw_affiliation_strings":["University of California: Berkeley, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of California: Berkeley, CA#TAB#","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483484","display_name":"George C. Necula","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George C. Necula","raw_affiliation_strings":["University of California: Berkeley, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"University of California: Berkeley, CA#TAB#","institution_ids":["https://openalex.org/I95457486"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.853,"has_fulltext":false,"cited_by_count":71,"citation_normalized_percentile":{"value":0.999331,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"30","issue":"2","first_page":"1","last_page":"51"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995,"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.9995,"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/T12127","display_name":"Software System Performance and Reliability","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9987,"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/control-flow","display_name":"Control flow","score":0.71790326},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5310973},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5162161},{"id":"https://openalex.org/keywords/exception-handling","display_name":"Exception handling","score":0.5156078},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.49283648}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9114859},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.71790326},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.66390496},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.65072954},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5310973},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5162161},{"id":"https://openalex.org/C145428669","wikidata":"https://www.wikidata.org/wiki/Q471748","display_name":"Exception handling","level":2,"score":0.5156078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5107956},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.49283648},{"id":"https://openalex.org/C2780023022","wikidata":"https://www.wikidata.org/wiki/Q1338171","display_name":"Compensation (psychology)","level":2,"score":0.4922351},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46139997},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4372872},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.42530707},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.42419976},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.2977566},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20051304},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.16809049},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16561049},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1330017.1330019","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation","award_id":"CCR-9875171CCR-0085949CCR-0081588CCR-0234689CCR-0326577CCR-00225610"}],"datasets":[],"versions":[],"referenced_works_count":113,"referenced_works":["https://openalex.org/W10589072","https://openalex.org/W1479785651","https://openalex.org/W1480064110","https://openalex.org/W1489843519","https://openalex.org/W1491178396","https://openalex.org/W1507902915","https://openalex.org/W1520448194","https://openalex.org/W1525343879","https://openalex.org/W1539579682","https://openalex.org/W1553379359","https://openalex.org/W1563849906","https://openalex.org/W1566103906","https://openalex.org/W1574578592","https://openalex.org/W1579850852","https://openalex.org/W1600476022","https://openalex.org/W1600899372","https://openalex.org/W1644882639","https://openalex.org/W176967344","https://openalex.org/W1833620599","https://openalex.org/W1848617919","https://openalex.org/W194677851","https://openalex.org/W1964116255","https://openalex.org/W1964647125","https://openalex.org/W1967966231","https://openalex.org/W1971327145","https://openalex.org/W1972544179","https://openalex.org/W1976701842","https://openalex.org/W1977773183","https://openalex.org/W1986453394","https://openalex.org/W1998070736","https://openalex.org/W2002089154","https://openalex.org/W2003250112","https://openalex.org/W2009712165","https://openalex.org/W2010053008","https://openalex.org/W201784039","https://openalex.org/W2022746390","https://openalex.org/W2033348393","https://openalex.org/W2045100674","https://openalex.org/W2054928273","https://openalex.org/W2063772987","https://openalex.org/W2066859698","https://openalex.org/W2071136304","https://openalex.org/W2080573945","https://openalex.org/W2083145697","https://openalex.org/W2087466192","https://openalex.org/W2087875803","https://openalex.org/W2089139117","https://openalex.org/W2096659890","https://openalex.org/W2097589646","https://openalex.org/W2098010463","https://openalex.org/W2102674270","https://openalex.org/W2103714221","https://openalex.org/W2106837287","https://openalex.org/W2107089133","https://openalex.org/W2108155806","https://openalex.org/W2108795876","https://openalex.org/W2109739361","https://openalex.org/W2116409384","https://openalex.org/W2116973066","https://openalex.org/W2118477385","https://openalex.org/W2119467398","https://openalex.org/W2121059325","https://openalex.org/W2123726582","https://openalex.org/W2124153277","https://openalex.org/W2127682435","https://openalex.org/W2128158689","https://openalex.org/W2129262850","https://openalex.org/W2130542946","https://openalex.org/W2130794519","https://openalex.org/W2133546079","https://openalex.org/W2134311998","https://openalex.org/W2138059712","https://openalex.org/W2139250089","https://openalex.org/W2140611647","https://openalex.org/W2140628382","https://openalex.org/W2142837069","https://openalex.org/W2143211847","https://openalex.org/W2143238865","https://openalex.org/W2143522309","https://openalex.org/W2147532896","https://openalex.org/W2149679864","https://openalex.org/W2150764159","https://openalex.org/W2152432695","https://openalex.org/W2153649450","https://openalex.org/W2155479707","https://openalex.org/W2155541789","https://openalex.org/W2156841542","https://openalex.org/W2159477904","https://openalex.org/W2163365446","https://openalex.org/W2165688098","https://openalex.org/W2166895275","https://openalex.org/W2167800525","https://openalex.org/W2241257079","https://openalex.org/W2246027646","https://openalex.org/W2295399529","https://openalex.org/W2295903414","https://openalex.org/W2561675875","https://openalex.org/W2985731159","https://openalex.org/W2990008401","https://openalex.org/W3033281991","https://openalex.org/W3035622664","https://openalex.org/W323988595","https://openalex.org/W4233793161","https://openalex.org/W4234020632","https://openalex.org/W4237087841","https://openalex.org/W4239249613","https://openalex.org/W4239769904","https://openalex.org/W4242080301","https://openalex.org/W4251283131","https://openalex.org/W4253103663","https://openalex.org/W4285719527","https://openalex.org/W44016460","https://openalex.org/W73531603"],"related_works":["https://openalex.org/W4384302888","https://openalex.org/W2998775986","https://openalex.org/W2750737722","https://openalex.org/W2404093817","https://openalex.org/W2396685351","https://openalex.org/W2377088766","https://openalex.org/W2166895275","https://openalex.org/W2033946387","https://openalex.org/W1999711970","https://openalex.org/W1571653483"],"abstract_inverted_index":{"It":[0],"is":[1,23,181],"difficult":[2],"to":[3,25,62,65,69,176],"write":[4],"programs":[5,78],"that":[6,144,154,166,178],"behave":[7],"correctly":[8],"in":[9,17,108,123],"the":[10,18,26,109,141],"presence":[11,110],"of":[12,20,28,57,85,94,105,111,128,147,169],"run-time":[13],"errors.":[14],"Proper":[15],"behavior":[16],"face":[19],"exceptional":[21],"situations":[22],"important":[24],"reliability":[27],"long-running":[29],"programs.":[30],"Existing":[31],"programming":[32,138],"language":[33,139],"features":[34],"often":[35],"provide":[36],"poor":[37],"support":[38],"for":[39,44,52,163],"executing":[40],"clean-up":[41],"code":[42],"and":[43,100,152,184],"restoring":[45],"invariants.":[46],"We":[47,158],"present":[48,159,173],"a":[49,54,63,102,137,160],"data-flow":[50],"analysis":[51,91],"finding":[53],"certain":[55],"class":[56],"exception-handling":[58],"defects:":[59],"those":[60,133],"related":[61],"failure":[64],"release":[66],"resources":[67],"or":[68],"clean":[70],"up":[71],"properly":[72],"along":[73,97],"all":[74],"paths.":[75],"Many":[76],"real-world":[77],"violate":[79],"such":[80],"resource":[81],"usage":[82],"rules":[83],"because":[84],"incorrect":[86],"exception":[87,120],"handling.":[88],"Our":[89],"flow-sensitive":[90],"keeps":[92,145],"track":[93,146],"outstanding":[95],"obligations":[96,148],"program":[98],"paths":[99],"does":[101],"precise":[103],"modeling":[104],"control":[106],"flow":[107],"exceptions.":[112],"Using":[113],"it,":[114],"we":[115,135,172],"have":[116],"found":[117],"over":[118,124],"1,300":[119],"handling":[121],"defects":[122,134],"5":[125],"million":[126],"lines":[127],"Java":[129],"code.":[130],"Based":[131],"on":[132],"propose":[136],"feature,":[140],"compensation":[142,164],"stack,":[143],"at":[149],"run":[150],"time":[151],"ensures":[153],"they":[155],"are":[156],"discharged.":[157],"type":[161],"system":[162],"stacks":[165],"tracks":[167],"collections":[168],"obligations.":[170],"Finally,":[171],"case":[174],"studies":[175],"demonstrate":[177],"this":[179],"feature":[180],"natural,":[182],"efficient,":[183],"can":[185],"improve":[186],"reliability.":[187]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2141670850","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2025-01-07T20:53:00.906510","created_date":"2016-06-24"}