乐胖代购免代理版

{"id":"https://openalex.org/W2066980498","doi":"https://doi.org/10.1145/1168054.1168073","title":"Propagation of JML non-null annotations in Java programs","display_name":"Propagation of JML non-null annotations in Java programs","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2066980498","doi":"https://doi.org/10.1145/1168054.1168073","mag":"2066980498"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1168054.1168073","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/A5005154647","display_name":"Maciej Cielecki","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Maciej Cielecki","raw_affiliation_strings":["Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland#TAB#","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076564251","display_name":"J\u0119drzej Fulara","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"J\u0229drzej Fulara","raw_affiliation_strings":["Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland#TAB#","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000385876","display_name":"Krzysztof Jakubczyk","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Krzysztof Jakubczyk","raw_affiliation_strings":["Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland#TAB#","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070007352","display_name":"\u0141ukasz Jancewicz","orcid":null},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"\u0141ukasz Jancewicz","raw_affiliation_strings":["Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland#TAB#","institution_ids":["https://openalex.org/I4654613"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.711,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":23,"citation_normalized_percentile":{"value":0.806118,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9996,"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.9996,"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 Verification","score":0.9982,"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":"Advanced Software Engineering Methodologies","score":0.9979,"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/java-modeling-language","display_name":"Java Modeling Language","score":0.7207483},{"id":"https://openalex.org/keywords/null","display_name":"Null (SQL)","score":0.5174054},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.4937633},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.44513237}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.85431975},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.72635794},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.7207483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7180085},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.5719756},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.5174054},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.4937633},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.44513237},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.42060727},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.3728827},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14432928},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10035089},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1168054.1168073","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.44,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":8,"referenced_works":["https://openalex.org/W1488612566","https://openalex.org/W1959256509","https://openalex.org/W1964830323","https://openalex.org/W2041109742","https://openalex.org/W2055477538","https://openalex.org/W2107778618","https://openalex.org/W2110908283","https://openalex.org/W2166985644"],"related_works":["https://openalex.org/W4210979912","https://openalex.org/W412736943","https://openalex.org/W3172992491","https://openalex.org/W2997436116","https://openalex.org/W2547095320","https://openalex.org/W2541866089","https://openalex.org/W2186199411","https://openalex.org/W1974508891","https://openalex.org/W1572758480","https://openalex.org/W1519944186"],"abstract_inverted_index":{"Development":[0],"of":[1,15,29,46,54,75,128,155],"high":[2],"quality":[3,14,28],"code":[4,16],"is":[5,40,49,70],"notably":[6],"difficult.":[7],"Tools":[8],"that":[9,37,66,84,114,121,153],"help":[10,33],"maintaining":[11],"the":[12,27,38,43,73,76,79,159,166],"proper":[13],"produced":[17,30],"by":[18],"programmers":[19],"can":[20,61,96,122,138],"be":[21,62,97],"very":[22,98],"useful:":[23],"they":[24],"may":[25],"increase":[26],"software":[31],"and":[32,100,111,126,144],"managers":[34],"to":[35,64,82,162],"ensure":[36,65,83],"product":[39],"ready":[41],"for":[42,102],"market.":[44],"One":[45],"such":[47],"tools":[48],"ESC/Java2,":[50],"a":[51,67,85,90,107,112,119,147],"static":[52],"checker":[53],"Java":[55,134],"Modeling":[56],"Language":[57],"annotations.":[58],"These":[59],"annotations":[60,143],"used":[63],"certain":[68,86],"assertion":[69],"satisfied":[71],"during":[72],"execution":[74],"program,":[77],"among":[78],"others":[80],"-":[81],"variable":[87],"never":[88],"has":[89],"null":[91,130],"value.":[92],"Unfortunately,":[93],"using":[94,165],"ESC/Java2":[95],"troublesome":[99],"time-consuming":[101],"programmers,":[103],"as":[104],"it":[105],"lacks":[106],"friendly":[108],"user":[109],"interface":[110],"function":[113],"propagates":[115],"annotations.We":[116],"present":[117],"CANAPA,":[118],"tool":[120,137],"highly":[123],"reduce":[124],"time":[125],"effort":[127,160],"eliminating":[129],"pointer":[131],"exceptions":[132],"in":[133],"code.":[135],"This":[136],"automatically":[139],"propagate":[140],"JML":[141,167],"non-null":[142,168],"comes":[145],"with":[146],"handy":[148],"Eclipse":[149],"plug-in.":[150],"We":[151],"believe":[152],"functionality":[154],"CANAPA":[156],"will":[157],"minimize":[158],"required":[161],"benefit":[163],"from":[164],"checking.":[169]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2066980498","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-01-09T15:50:53.594948","created_date":"2016-06-24"}