{"id":"https://openalex.org/W2100962534","doi":"https://doi.org/10.1145/1111037.1111057","title":"Modular set-based analysis from contracts","display_name":"Modular set-based analysis from contracts","publication_year":2006,"publication_date":"2006-01-11","ids":{"openalex":"https://openalex.org/W2100962534","doi":"https://doi.org/10.1145/1111037.1111057","mag":"2100962534"},"language":"en","primary_location":{"id":"doi:10.1145/1111037.1111057","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111037.1111057","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","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/A5009550649","display_name":"Philippe Meunier","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX","US"],"is_corresponding":false,"raw_author_name":"Philippe Meunier","raw_affiliation_strings":["Northeastern University","northeastern Univ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]},{"raw_affiliation_string":"northeastern Univ","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081388086","display_name":"Robert Bruce Findler","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Bruce Findler","raw_affiliation_strings":["University of Chicago","University-of Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"University-of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000905628","display_name":"Matthias Felleisen","orcid":"https://orcid.org/0000-0001-6678-1004"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]}],"countries":["MX","US"],"is_corresponding":false,"raw_author_name":"Matthias Felleisen","raw_affiliation_strings":["Northeastern University","northeastern Univ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]},{"raw_affiliation_string":"northeastern Univ","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.4198,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.93411563,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"218","last_page":"231"},"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.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/modular-design","display_name":"Modular design","score":0.7014480829238892},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6144373416900635},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5513890385627747},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27754467725753784}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7014480829238892},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6144373416900635},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5513890385627747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27754467725753784}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1111037.1111057","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1111037.1111057","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W177940356","https://openalex.org/W1494768888","https://openalex.org/W1523029584","https://openalex.org/W1532892735","https://openalex.org/W1546727036","https://openalex.org/W1546990306","https://openalex.org/W1580625730","https://openalex.org/W1587113895","https://openalex.org/W1829244603","https://openalex.org/W1963569294","https://openalex.org/W1967698620","https://openalex.org/W1974895492","https://openalex.org/W1987203566","https://openalex.org/W2003786919","https://openalex.org/W2017233431","https://openalex.org/W2020543669","https://openalex.org/W2034379323","https://openalex.org/W2042082434","https://openalex.org/W2045313089","https://openalex.org/W2053118768","https://openalex.org/W2055806388","https://openalex.org/W2065403304","https://openalex.org/W2068336423","https://openalex.org/W2072137506","https://openalex.org/W2098491453","https://openalex.org/W2099305192","https://openalex.org/W2102389857","https://openalex.org/W2107995193","https://openalex.org/W2123727486","https://openalex.org/W2128303158","https://openalex.org/W2136290535","https://openalex.org/W2141210774","https://openalex.org/W2165069483","https://openalex.org/W2293770661","https://openalex.org/W2912351643","https://openalex.org/W3088121894","https://openalex.org/W6631929155"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2888805005","https://openalex.org/W4238335261","https://openalex.org/W2355215981","https://openalex.org/W625912187","https://openalex.org/W2151243068","https://openalex.org/W2360637967"],"abstract_inverted_index":{"In":[0],"PLT":[1],"Scheme,":[2],"programs":[3],"consist":[4],"of":[5,16,45,102,115],"modules":[6],"with":[7,42,109],"contracts.":[8],"The":[9,94],"latter":[10],"describe":[11],"the":[12,32,46,82,100,112,116],"inputs":[13],"and":[14,18],"outputs":[15],"functions":[17],"objects":[19],"via":[20],"predicates.":[21],"A":[22],"run-time":[23],"system":[24],"enforces":[25],"these":[26],"predicates;":[27],"if":[28],"a":[29,39,63,71],"predicate":[30,84],"fails,":[31],"enforcer":[33],"raises":[34],"an":[35,43],"exception":[36],"that":[37],"blames":[38],"specific":[40],"module":[41,56],"explanation":[44],"fault.In":[47],"this":[48,69],"paper,":[49],"we":[50],"show":[51],"how":[52],"to":[53,58,111],"use":[54],"such":[55],"contracts":[57],"turn":[59],"set-based":[60],"analysis":[61],"into":[62],"fully":[64],"modular":[65],"parameterized":[66],"analysis.":[67],"Using":[68],"analysis,":[70],"static":[72,95],"debugger":[73,96],"can":[74,97],"indicate":[75],"for":[76],"any":[77],"given":[78],"contract":[79,117],"check":[80],"whether":[81],"corresponding":[83],"is":[85,107],"always":[86],"satisfied,":[87,89],"partially":[88],"or":[90],"(potentially)":[91],"completely":[92],"violated.":[93],"also":[98],"predict":[99],"source":[101],"potential":[103],"errors,":[104],"i.e.,":[105],"it":[106],"sound":[108],"respect":[110],"blame":[113],"assignment":[114],"system.":[118]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":6}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}