{"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":{"id":"doi:10.1145/1168054.1168073","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1168054.1168073","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th international symposium on Principles and practice of programming in Java  - PPPJ '06","raw_type":"proceedings-article"},"type":"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":true,"raw_author_name":"Maciej Cielecki","raw_affiliation_strings":["Warsaw University, Warszawa, Poland","Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]},{"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","Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]},{"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","Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]},{"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","Warsaw University, Warszawa, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Warsaw University, Warszawa, Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"Warsaw University, Warszawa, Poland#TAB#","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005154647"],"corresponding_institution_ids":["https://openalex.org/I4654613"],"apc_list":null,"apc_paid":null,"fwci":6.5129,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.96341055,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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.9995999932289124,"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.998199999332428,"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.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.8543197512626648},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7263579368591309},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.7207483053207397},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7180085182189941},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.571975588798523},{"id":"https://openalex.org/keywords/null","display_name":"Null (SQL)","score":0.5174053907394409},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.4937632977962494},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.44513237476348877},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.4206072688102722},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.3728826940059662},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1443292796611786},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10035088658332825}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8543197512626648},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7263579368591309},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.7207483053207397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7180085182189941},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.571975588798523},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.5174053907394409},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.4937632977962494},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.44513237476348877},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.4206072688102722},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.3728826940059662},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1443292796611786},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10035088658332825},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1168054.1168073","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1168054.1168073","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th international symposium on Principles and practice of programming in Java  - PPPJ '06","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/35482","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/35482","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"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/W2541866089","https://openalex.org/W3172992491","https://openalex.org/W2547095320","https://openalex.org/W1974508891","https://openalex.org/W1572758480","https://openalex.org/W1519944186","https://openalex.org/W2186199411","https://openalex.org/W412736943","https://openalex.org/W4210979912","https://openalex.org/W2997436116"],"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]},"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":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}