{"id":"https://openalex.org/W6908524573","doi":"https://doi.org/10.26190/unsworks/23624","title":"Static analysis for incomplete object-oriented programs","display_name":"Static analysis for incomplete object-oriented programs","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W6908524573","doi":"https://doi.org/10.26190/unsworks/23624"},"language":"en","primary_location":{"id":"pmh:oai:unsworks.unsw.edu.au:1959.4/24228","is_oa":false,"landing_page_url":"http://handle.unsw.edu.au/1959.4/24228","pdf_url":null,"source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.26190/unsworks/23624","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Nguyen, Phung Hua","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nguyen, Phung Hua","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11563","display_name":"Indian and Buddhist Studies","score":0.7967000007629395,"subfield":{"id":"https://openalex.org/subfields/1212","display_name":"Religious studies"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11563","display_name":"Indian and Buddhist Studies","score":0.7967000007629395,"subfield":{"id":"https://openalex.org/subfields/1212","display_name":"Religious studies"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13175","display_name":"Historical Astronomy and Related Studies","score":0.040800001472234726,"subfield":{"id":"https://openalex.org/subfields/3103","display_name":"Astronomy and Astrophysics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.01640000008046627,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.8428999781608582},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.801800012588501},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6901000142097473},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.677299976348877},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5497000217437744},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.49869999289512634},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4878000020980835},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.4499000012874603},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.44670000672340393}],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.8428999781608582},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.801800012588501},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7989000082015991},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6901000142097473},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.677299976348877},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5497000217437744},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.49869999289512634},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4878000020980835},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.4499000012874603},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.44670000672340393},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4058000147342682},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.398499995470047},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.39430001378059387},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.3905999958515167},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.3555999994277954},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.3452000021934509},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3199000060558319},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C96147967","wikidata":"https://www.wikidata.org/wiki/Q190686","display_name":"Subroutine","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.273499995470047},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.2678000032901764},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C59050026","wikidata":"https://www.wikidata.org/wiki/Q5048330","display_name":"Case analysis","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.26170000433921814},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:unsworks.unsw.edu.au:1959.4/24228","is_oa":false,"landing_page_url":"http://handle.unsw.edu.au/1959.4/24228","pdf_url":null,"source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/24228","is_oa":false,"landing_page_url":"http://hdl.handle.net/1959.4/24228","pdf_url":null,"source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},{"id":"doi:10.26190/unsworks/23624","is_oa":true,"landing_page_url":"https://doi.org/10.26190/unsworks/23624","pdf_url":null,"source":{"id":"https://openalex.org/S7407053176","display_name":"University of New South Wales","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"doi:10.26190/unsworks/23624","is_oa":true,"landing_page_url":"https://doi.org/10.26190/unsworks/23624","pdf_url":null,"source":{"id":"https://openalex.org/S7407053176","display_name":"University of New South Wales","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Static":[0],"analysis":[1,48,62,84,96,108,111,129,154,175,226],"is":[2,33,49,63,196],"significant":[3],"since":[4],"it":[5],"provides":[6],"the":[7,10,57,68,99,114,120,141,153,159,186,200,223],"information":[8,19,42],"about":[9],"run-":[11],"time":[12],"behaviour":[13],"of":[14,36,67,101,146,158,188,202,208,215],"an":[15,110],"analysed":[16,69],"program.":[17,59],"Such":[18],"has":[20,85],"many":[21],"applications":[22],"in":[23,77,225],"compiler":[24],"optimisations":[25],"and":[26,143,149,163,177],"software":[27],"engineering":[28],"tools.":[29],"Interprocedural":[30],"anal-":[31],"ysis":[32],"a":[34,82,127,173,194,203,213],"form":[35],"static":[37],"analysis,":[38,54,138,166,190],"which":[39,55,139,182],"can":[40,112],"exploit":[41,113],"available":[43,73],"across":[44],"procedure":[45],"boundaries.":[46],"The":[47,206],"traditionally":[50],"designed":[51],"as":[52],"whole-program":[53,61,83],"processes":[56],"entire":[58],"However,":[60],"problematic":[64],"when":[65],"parts":[66],"program":[70,122,204],"are":[71,167,183,219],"not":[72],"to":[74,86,90,93,151,191,221],"partici-":[75],"pate":[76],"analysis.":[78],"In":[79],"this":[80],"case,":[81],"make":[87],"conservative":[88],"assumptions":[89],"be":[91],"able":[92],"produce":[94],"safe":[95],"results":[97,207],"at":[98],"expense":[100],"some":[102],"possible":[103],"precision":[104],"loss.":[105],"To":[106],"improve":[107],"precision,":[109],"access":[115,142],"control":[116],"mechanism":[117],"provided":[118],"by":[119,199],"underlying":[121],"language.":[123],"This":[124,169],"thesis":[125,170],"introduces":[126],"points-to":[128],"technique":[130],"for":[131],"incomplete":[132],"object-oriented":[133],"programs,":[134],"called":[135],"com-":[136],"pleteness":[137],"exploits":[140],"modification":[144],"properties":[145],"classes,":[147],"methods":[148],"fields":[150],"enhance":[152],"precision.":[155,227],"Two":[156],"variations":[157],"tech-":[160],"nique,":[161],"compositional":[162],"sequential":[164],"completeness":[165,189],"described.":[168],"also":[171],"presents":[172],"mutability":[174],"(MA)":[176],"MA-based":[178],"side-effect":[179],"analy-":[180],"sis,":[181],"based":[184],"on":[185,212],"output":[187],"determine":[192],"whether":[193],"variable":[195],"potentially":[197],"modified":[198],"execution":[201],"statement.":[205],"experiments":[209],"carried":[210],"out":[211],"set":[214],"Java":[216],"library":[217],"packages":[218],"presented":[220],"demonstrate":[222],"improvement":[224]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}