乐胖代购免代理版

{"id":"https://openalex.org/W2109835551","doi":"https://doi.org/10.1109/sefm.2005.26","title":"Logical foundations of program assertions: what do practitioners want?","display_name":"Logical foundations of program assertions: what do practitioners want?","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2109835551","doi":"https://doi.org/10.1109/sefm.2005.26","mag":"2109835551"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/sefm.2005.26","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/A5026825556","display_name":"Patrice Chalin","orcid":"https://orcid.org/0000-0002-9399-3528"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"funder","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"P. Chalin","raw_affiliation_strings":["Dept. of Comput. Sci. & Software Eng., Concordia Univ., Montreal, Que., Canada#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci. & Software Eng., Concordia Univ., Montreal, Que., Canada#TAB#","institution_ids":["https://openalex.org/I60158472"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5026825556"],"corresponding_institution_ids":["https://openalex.org/I60158472"],"apc_list":null,"apc_paid":null,"fwci":1.991,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":21,"citation_normalized_percentile":{"value":0.871724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":null,"issue":null,"first_page":"383","last_page":"392"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9989,"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":"Logic, programming, and type systems","score":0.9989,"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/T10260","display_name":"Software Engineering Research","score":0.9986,"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/T11424","display_name":"Security and Verification in Computing","score":0.9961,"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/assertion","display_name":"Assertion","score":0.8924922},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract Interpretation","score":0.57337236}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8924922},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.73520815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7030645},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6965406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.63046366},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.57337236},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5330291},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48088983},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.44869143},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.32770404},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.112001956}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/sefm.2005.26","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":[{"score":0.66,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":34,"referenced_works":["https://openalex.org/W1499226144","https://openalex.org/W1512952371","https://openalex.org/W1542358180","https://openalex.org/W1549891226","https://openalex.org/W1569384739","https://openalex.org/W1644882639","https://openalex.org/W168248273","https://openalex.org/W1759032052","https://openalex.org/W1912089697","https://openalex.org/W194677851","https://openalex.org/W194952179","https://openalex.org/W1959256509","https://openalex.org/W1964830323","https://openalex.org/W1993836075","https://openalex.org/W1998490923","https://openalex.org/W2006565521","https://openalex.org/W2027043094","https://openalex.org/W2030221869","https://openalex.org/W2089387242","https://openalex.org/W2107995193","https://openalex.org/W2113986000","https://openalex.org/W2121444793","https://openalex.org/W2124545556","https://openalex.org/W2130853806","https://openalex.org/W2144687289","https://openalex.org/W2164810907","https://openalex.org/W2166985644","https://openalex.org/W2178755566","https://openalex.org/W2318940639","https://openalex.org/W237374877","https://openalex.org/W2525216991","https://openalex.org/W3022265524","https://openalex.org/W3183224878","https://openalex.org/W4256147943"],"related_works":["https://openalex.org/W3177169335","https://openalex.org/W3149732360","https://openalex.org/W2970480852","https://openalex.org/W2525463489","https://openalex.org/W2157660637","https://openalex.org/W2077499329","https://openalex.org/W2074638034","https://openalex.org/W1995638504","https://openalex.org/W1836373119","https://openalex.org/W1513061978"],"abstract_inverted_index":{"Industrial":[0],"use":[1,22,109],"of":[2,8,23,32,52,65,98],"program":[3,79],"assertions":[4,24,53,80,102],"for":[5,101],"the":[6,21,63],"purpose":[7],"run-time":[9],"assertion":[10],"checking":[11,28],"(RAC)":[12],"is":[13,25,88,104],"becoming":[14],"commonplace.":[15],"A":[16],"likely":[17],"next":[18],"step":[19],"in":[20,49,68,96,110],"extended":[26],"static":[27],"(ESC),":[29],"an":[30],"area":[31],"active":[33],"research":[34],"that":[35,93,103],"promises":[36],"added":[37],"benefits":[38],"to":[39,81],"industry.":[40],"Unfortunately,":[41],"RAC":[42],"and":[43,83],"ESC":[44],"tools":[45,87],"are":[46,95],"not":[47],"consistent":[48],"their":[50,107],"interpretation":[51],"containing":[54],"undefined":[55],"terms.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60,70],"report":[61],"on":[62],"results":[64,91],"a":[66,99],"survey":[67],"which":[69],"asked":[71],"industrial":[72],"developers":[73,94],"what":[74],"logical":[75],"semantics":[76,100],"they":[77],"want":[78],"have,":[82],"whether":[84],"consistency":[85],"across":[86],"important.":[89],"Survey":[90],"indicate":[92],"favor":[97],"compatible":[105],"with":[106],"current":[108],"RAC.":[111]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2109835551","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-16T20:29:04.084585","created_date":"2016-06-24"}