{"id":"https://openalex.org/W1550417214","doi":"https://doi.org/10.1007/978-3-540-31985-6_21","title":"Completeness Analysis for Incomplete Object-Oriented Programs","display_name":"Completeness Analysis for Incomplete Object-Oriented Programs","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1550417214","doi":"https://doi.org/10.1007/978-3-540-31985-6_21","mag":"1550417214"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-31985-6_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-31985-6_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-31985-6_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-31985-6_21.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, NSW, 2032, Sydney, Australia","Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, NSW, 2032, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013364109","display_name":"Phung Hua Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Phung Hua Nguyen","raw_affiliation_strings":["Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, NSW, 2032, Sydney, Australia","Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia"],"affiliations":[{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, NSW, 2032, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"Programming Languages and Compilers Group, School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024664385"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2493,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.52740986,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"286"},"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.9997000098228455,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9966999888420105,"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.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.845869243144989},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.8400170803070068},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.672631025314331},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6386350393295288},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5796179175376892},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5506989359855652},{"id":"https://openalex.org/keywords/shape-analysis","display_name":"Shape analysis (program analysis)","score":0.4987034797668457},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48373985290527344},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.4746028780937195},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4536924958229065},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4341717064380646},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4236936867237091},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.41679713129997253},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18287640810012817},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11335599422454834}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.845869243144989},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8400170803070068},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.672631025314331},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6386350393295288},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5796179175376892},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5506989359855652},{"id":"https://openalex.org/C112604564","wikidata":"https://www.wikidata.org/wiki/Q7489226","display_name":"Shape analysis (program analysis)","level":3,"score":0.4987034797668457},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48373985290527344},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.4746028780937195},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4536924958229065},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4341717064380646},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4236936867237091},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41679713129997253},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18287640810012817},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11335599422454834},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-31985-6_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-31985-6_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-31985-6_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-540-31985-6_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-31985-6_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-31985-6_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1550417214.pdf","grobid_xml":"https://content.openalex.org/works/W1550417214.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W89291934","https://openalex.org/W177800519","https://openalex.org/W1483521935","https://openalex.org/W1503606489","https://openalex.org/W1536098516","https://openalex.org/W1972969106","https://openalex.org/W1984302489","https://openalex.org/W2014377495","https://openalex.org/W2014530617","https://openalex.org/W2054675073","https://openalex.org/W2057375777","https://openalex.org/W2077850509","https://openalex.org/W2105256796","https://openalex.org/W2106020683","https://openalex.org/W2109905299","https://openalex.org/W2113238444","https://openalex.org/W2133846634","https://openalex.org/W2149237601","https://openalex.org/W2162405266","https://openalex.org/W2171240827","https://openalex.org/W4238563029","https://openalex.org/W4254553971","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1493446239","https://openalex.org/W2058895276","https://openalex.org/W2172022734","https://openalex.org/W1550050390","https://openalex.org/W2789178056","https://openalex.org/W2013637613","https://openalex.org/W2733944601","https://openalex.org/W1665317451","https://openalex.org/W1879453804","https://openalex.org/W1550417214"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}