{"id":"https://openalex.org/W2156881251","doi":"https://doi.org/10.1145/1449764.1449792","title":"Typestate-like analysis of multiple interacting objects","display_name":"Typestate-like analysis of multiple interacting objects","publication_year":2008,"publication_date":"2008-10-19","ids":{"openalex":"https://openalex.org/W2156881251","doi":"https://doi.org/10.1145/1449764.1449792","mag":"2156881251"},"language":"en","primary_location":{"id":"doi:10.1145/1449764.1449792","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449764.1449792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications","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/A5063315290","display_name":"Nomair A. Naeem","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Nomair A. Naeem","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039616179","display_name":"Ond\u0159ej Lhot\u00e1k","orcid":"https://orcid.org/0000-0001-9066-1889"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ondrej Lhotak","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063315290"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":17.1615,"has_fulltext":false,"cited_by_count":80,"citation_normalized_percentile":{"value":0.99149526,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"347","last_page":"366"},"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.9995999932289124,"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.9973000288009644,"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.7279550433158875},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6952252984046936},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.6488838195800781},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6199153661727905},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5358760356903076},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4607701003551483},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.43291425704956055},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4167257249355316},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4158574044704437},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36009320616722107}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7279550433158875},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6952252984046936},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.6488838195800781},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6199153661727905},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5358760356903076},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4607701003551483},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.43291425704956055},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4167257249355316},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4158574044704437},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36009320616722107}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1449764.1449792","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449764.1449792","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W18500152","https://openalex.org/W309019095","https://openalex.org/W1511982475","https://openalex.org/W1586099086","https://openalex.org/W1971327145","https://openalex.org/W1995350708","https://openalex.org/W1998070736","https://openalex.org/W2021875003","https://openalex.org/W2029674270","https://openalex.org/W2030697178","https://openalex.org/W2036157748","https://openalex.org/W2041508799","https://openalex.org/W2044590882","https://openalex.org/W2053478668","https://openalex.org/W2077382005","https://openalex.org/W2080573945","https://openalex.org/W2082827821","https://openalex.org/W2084462810","https://openalex.org/W2091712774","https://openalex.org/W2095802649","https://openalex.org/W2098495346","https://openalex.org/W2106972913","https://openalex.org/W2111141292","https://openalex.org/W2134311998","https://openalex.org/W2134429122","https://openalex.org/W2135697103","https://openalex.org/W2136033258","https://openalex.org/W2147753601","https://openalex.org/W2150308295","https://openalex.org/W2150593762","https://openalex.org/W2156268601","https://openalex.org/W2162126440","https://openalex.org/W2166091242","https://openalex.org/W2169589594","https://openalex.org/W4238577588","https://openalex.org/W4254112940"],"related_works":["https://openalex.org/W2318743569","https://openalex.org/W1508927144","https://openalex.org/W4232090216","https://openalex.org/W111020846","https://openalex.org/W3099266052","https://openalex.org/W2020973245","https://openalex.org/W2970480852","https://openalex.org/W3019407550","https://openalex.org/W2099473014","https://openalex.org/W2051910176"],"abstract_inverted_index":{"This":[0],"paper":[1,50,69],"presents":[2],"a":[3,23,29,40,52,71],"static":[4,66,72],"analysis":[5,73,96,111,124],"of":[6,10,12,26,39,42,84,91,109,117,148,154],"typestate-like":[7],"temporal":[8,24],"specifications":[9],"groups":[11],"interacting":[13],"objects,":[14,86],"which":[15],"are":[16],"expressed":[17],"using":[18],"tracematches.":[19],"Whereas":[20],"typestate":[21],"expresses":[22],"specification":[25],"one":[27],"object,":[28],"tracematch":[30,60,93],"state":[31],"may":[32],"change":[33],"due":[34],"to":[35,57,65,103,135],"operations":[36],"on":[37,127],"any":[38],"set":[41],"related":[43],"objects":[44],"bound":[45],"by":[46],"the":[47,58,82,92,104,110,118,151],"tracematch.":[48],"The":[49,68,95,123],"proposes":[51],"lattice-based":[53],"operational":[54],"semantics":[55,61],"equivalent":[56],"original":[59],"but":[62],"better":[63],"suited":[64],"analysis.":[67],"defines":[70],"that":[74],"computes":[75],"precise":[76,146],"local":[77],"points-to":[78],"sets":[79],"and":[80,120,133,153],"tracks":[81],"flow":[83],"individual":[85],"thereby":[87],"enabling":[88],"strong":[89],"updates":[90],"state.":[94],"has":[97,112],"been":[98,113],"proved":[99],"sound":[100],"with":[101,144],"respect":[102],"semantics.":[105],"A":[106],"context-sensitive":[107],"version":[108],"implemented":[114],"as":[115],"instances":[116],"IFDS":[119],"IDE":[121],"algorithms.":[122],"was":[125],"evaluated":[126],"tracematches":[128],"used":[129],"in":[130],"earlier":[131],"work":[132],"found":[134],"be":[136,142],"very":[137],"precise.":[138],"Remaining":[139],"imprecisions":[140],"could":[141],"eliminated":[143],"more":[145],"modeling":[147],"references":[149],"from":[150],"heap":[152],"exceptional":[155],"control":[156],"flow.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":7}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}