iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://api.openalex.org/works/doi:10.1145/3236950.3236957
{"id":"https://openalex.org/W2886268415","doi":"https://doi.org/10.1145/3236950.3236957","title":"Verifying Fail-Free Declarative Programs","display_name":"Verifying Fail-Free Declarative Programs","publication_year":2018,"publication_date":"2018-08-14","ids":{"openalex":"https://openalex.org/W2886268415","doi":"https://doi.org/10.1145/3236950.3236957","mag":"2886268415"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236950.3236957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5024421847","display_name":"Michael Hanus","orcid":"https://orcid.org/0000-0002-4953-8202"},"institutions":[],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael Hanus","raw_affiliation_strings":["CAU Kiel, Institut f\u00fcr Informatik, Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"CAU Kiel, Institut f\u00fcr Informatik, Kiel, Germany","institution_ids":[]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5024421847"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.062,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.497933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":79,"max":81},"biblio":{"volume":"2004","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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":"Program Analysis and Verification Techniques","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9997,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Autonomic Computing and Self-Adaptive Systems","score":0.9991,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/compile-time","display_name":"Compile time","score":0.63144094},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime Verification","score":0.527484},{"id":"https://openalex.org/keywords/program-repair","display_name":"Program Repair","score":0.5165},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal Verification","score":0.51401},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5109183},{"id":"https://openalex.org/keywords/software-fault-localization","display_name":"Software Fault Localization","score":0.5026}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84155715},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6609349},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.63144094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5290935},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5280158},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5109183},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.46361974}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3236950.3236957","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W137792605","https://openalex.org/W1480909796","https://openalex.org/W1508641834","https://openalex.org/W1510628702","https://openalex.org/W1534776227","https://openalex.org/W1553511155","https://openalex.org/W1556536463","https://openalex.org/W1573761730","https://openalex.org/W1605638241","https://openalex.org/W1650673748","https://openalex.org/W174743476","https://openalex.org/W181692710","https://openalex.org/W1973676520","https://openalex.org/W1980781982","https://openalex.org/W1982209843","https://openalex.org/W1982243747","https://openalex.org/W1992085465","https://openalex.org/W1999489309","https://openalex.org/W2004843654","https://openalex.org/W2008732772","https://openalex.org/W2044013129","https://openalex.org/W2045900383","https://openalex.org/W2059703978","https://openalex.org/W2063521547","https://openalex.org/W2063553958","https://openalex.org/W2087404516","https://openalex.org/W2112087718","https://openalex.org/W2116940213","https://openalex.org/W2118499864","https://openalex.org/W2120171626","https://openalex.org/W2136914567","https://openalex.org/W2139143398","https://openalex.org/W2145108549","https://openalex.org/W2161825580","https://openalex.org/W2265625463","https://openalex.org/W2407568656","https://openalex.org/W2608848276","https://openalex.org/W2755502551","https://openalex.org/W3104255688","https://openalex.org/W68427271","https://openalex.org/W78774630"],"related_works":["https://openalex.org/W3006505070","https://openalex.org/W2767298477","https://openalex.org/W2382449560","https://openalex.org/W2371266106","https://openalex.org/W2117864619","https://openalex.org/W2117382851","https://openalex.org/W2110432562","https://openalex.org/W2090337950","https://openalex.org/W2025344","https://openalex.org/W2009647414"],"abstract_inverted_index":{"Failed":[0],"computations":[1,156],"are":[2,99,139],"a":[3,34,92,125],"frequent":[4],"problem":[5],"in":[6,83,95],"software":[7],"system":[8],"development.":[9],"Some":[10],"failures":[11,27,65,82,90],"have":[12,28],"external":[13],"reasons":[14],"(e.g.,":[15],"missing":[16],"files)":[17],"that":[18,117,138,155,160],"can":[19,51,119],"be":[20,120],"caught":[21],"by":[22],"exception":[23],"handlers.":[24],"Many":[25],"other":[26],"internal":[29],"reasons,":[30],"such":[31,81],"as":[32],"calling":[33],"partially":[35,104],"defined":[36,105],"operation":[37,167],"with":[38,89,135,144],"unintended":[39],"arguments.":[40],"In":[41,69],"order":[42],"to":[43,53,76,102,112,132],"avoid":[44],"the":[45,55,78,161,165],"latter":[46],"kind":[47],"of":[48,63,80,164],"failures,":[49],"one":[50],"try":[52],"analyze":[54],"program":[56],"at":[57,66,107,141],"compile":[58,142],"time":[59,143],"for":[60],"potential":[61],"occurrences":[62],"these":[64],"run":[67],"time.":[68],"this":[70,128],"paper":[71],"we":[72,98,110,130],"present":[73],"an":[74,145],"approach":[75],"verify":[77,113],"absence":[79],"functional":[84],"logic":[85,96],"programs.":[86],"Since":[87],"programming":[88],"is":[91,153,168],"typical":[93],"technique":[94],"programming,":[97],"not":[100],"interested":[101],"abandon":[103],"operations":[106,118,134],"all.":[108],"Instead,":[109],"want":[111],"conditions":[114,137],"which":[115],"ensure":[116],"executed":[121],"without":[122],"running":[123],"into":[124],"failure.":[126],"For":[127,148],"purpose,":[129],"propose":[131],"annotate":[133],"non-fail":[136,162],"verified":[140,150],"SMT":[146],"solver.":[147],"successfully":[149],"programs,":[151],"it":[152],"ensured":[154],"never":[157],"fail":[158],"provided":[159],"condition":[163],"main":[166],"satisfied.":[169]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2886268415","counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2024-12-04T12:06:27.512957","created_date":"2018-08-22"}
