{"id":"https://openalex.org/W2025772870","doi":"https://doi.org/10.1145/2048147.2048152","title":"A HIP and SLEEK verification system","display_name":"A HIP and SLEEK verification system","publication_year":2011,"publication_date":"2011-10-22","ids":{"openalex":"https://openalex.org/W2025772870","doi":"https://doi.org/10.1145/2048147.2048152","mag":"2025772870"},"language":"en","primary_location":{"id":"doi:10.1145/2048147.2048152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2048147.2048152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion","raw_type":"proceedings-article"},"type":"conference-paper","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/A5047181479","display_name":"Wei-Ngan Chin","orcid":"https://orcid.org/0000-0002-9660-5682"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Wei-Ngan Chin","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072292925","display_name":"Cristina David","orcid":"https://orcid.org/0000-0002-9106-934X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Cristina David","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053149381","display_name":"Cristian Gherghina","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Cristian Gherghina","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":1.0791,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.76040303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"10"},"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.9980999827384949,"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.9980999827384949,"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/T11424","display_name":"Security and Verification in Computing","score":0.9907000064849854,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.622118353843689},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3428823947906494}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.622118353843689},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3428823947906494}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2048147.2048152","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2048147.2048152","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion","raw_type":"proceedings-article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/41341","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/41341","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1535882582","https://openalex.org/W1567479568","https://openalex.org/W2022673252","https://openalex.org/W2166473201","https://openalex.org/W2166989203","https://openalex.org/W2168301068","https://openalex.org/W2168916522"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"The":[0,40],"HIP":[1,17,76],"and":[2,60],"SLEEK":[3,97,101],"systems":[4],"are":[5,93],"aimed":[6],"at":[7],"automatic":[8,105],"verification":[9,24],"of":[10,13,37,81,89],"functional":[11],"correctness":[12],"heap":[14,58],"manipulating":[15],"programs.":[16,39],"is":[18,102],"a":[19,27,79,103],"separation":[20,82,98,108],"logic":[21,83,99,109],"based":[22],"automated":[23],"system":[25],"for":[26,73,107],"simple":[28],"imperative":[29],"language,":[30],"able":[31],"to":[32,49,95],"modularly":[33],"verify":[34],"the":[35,87,96],"specifications":[36],"heap-manipulating":[38],"specification":[41],"language":[42],"allows":[43],"user":[44],"defined":[45],"inductive":[46],"predicates":[47],"used":[48],"model":[50],"complex":[51],"data":[52],"structures.":[53],"Specifications":[54],"can":[55],"contain":[56],"both":[57],"constraints":[59,63],"various":[61],"pure":[62],"like":[64],"arithmetic":[65],"constraints,":[66],"bag":[67],"constraints.":[68],"Based":[69],"on":[70],"given":[71],"annotations":[72],"each":[74],"method/loop,":[75],"will":[77],"construct":[78],"set":[80],"proof":[84],"obligations":[85],"in":[86],"form":[88],"formula":[90],"implications":[91],"which":[92],"sent":[94],"prover.":[100],"fully":[104],"prover":[106],"with":[110],"frame":[111],"inferring":[112],"capability.":[113]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}