{"id":"https://openalex.org/W4390603516","doi":"https://doi.org/10.1145/3632930","title":"Effectful Software Contracts","display_name":"Effectful Software Contracts","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4390603516","doi":"https://doi.org/10.1145/3632930"},"language":"en","primary_location":{"id":"doi:10.1145/3632930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632930","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632930","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089175177","display_name":"Cameron Moy","orcid":"https://orcid.org/0000-0002-4384-6351"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cameron Moy","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0002-4384-6351","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041562511","display_name":"Christos Dimoulas","orcid":"https://orcid.org/0000-0002-9338-7034"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christos Dimoulas","raw_affiliation_strings":["Northwestern University, Evanston, USA"],"raw_orcid":"https://orcid.org/0000-0002-9338-7034","affiliations":[{"raw_affiliation_string":"Northwestern University, Evanston, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthias Felleisen","raw_affiliation_strings":["Northeastern University, Boston, USA"],"raw_orcid":"https://orcid.org/0000-0001-6678-1004","affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2778,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56337726,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"8","issue":"POPL","first_page":"2639","last_page":"2666"},"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.9991999864578247,"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.9991999864578247,"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.9973000288009644,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9969000220298767,"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/generality","display_name":"Generality","score":0.8909428119659424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.689848005771637},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.674954354763031},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6094419956207275},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5887517333030701},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.5413392186164856},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5068343281745911},{"id":"https://openalex.org/keywords/contract-theory","display_name":"Contract theory","score":0.5003249645233154},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.4562675952911377},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.36157211661338806},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.35589513182640076},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.32131338119506836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3209499716758728},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.28447234630584717},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2353348433971405},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.1611822247505188},{"id":"https://openalex.org/keywords/management","display_name":"Management","score":0.09537529945373535}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.8909428119659424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.689848005771637},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.674954354763031},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6094419956207275},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5887517333030701},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.5413392186164856},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5068343281745911},{"id":"https://openalex.org/C79301358","wikidata":"https://www.wikidata.org/wiki/Q1918846","display_name":"Contract theory","level":2,"score":0.5003249645233154},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.4562675952911377},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.36157211661338806},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.35589513182640076},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.32131338119506836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3209499716758728},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28447234630584717},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2353348433971405},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.1611822247505188},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.09537529945373535},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C133425853","wikidata":"https://www.wikidata.org/wiki/Q60571","display_name":"Neoclassical economics","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},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3632930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632930","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3632930","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632930","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632930","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5593449043","display_name":"SHF: Small: Beyond Behavioral Software Contracts","funder_award_id":"2116372","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390603516.pdf","grobid_xml":"https://content.openalex.org/works/W4390603516.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W221670187","https://openalex.org/W798485908","https://openalex.org/W1007123516","https://openalex.org/W1517403092","https://openalex.org/W1526601993","https://openalex.org/W1550526517","https://openalex.org/W1779102629","https://openalex.org/W1830421783","https://openalex.org/W1893810794","https://openalex.org/W1980939032","https://openalex.org/W1992648627","https://openalex.org/W1998223027","https://openalex.org/W1999643018","https://openalex.org/W2007759294","https://openalex.org/W2020899082","https://openalex.org/W2022114508","https://openalex.org/W2027189949","https://openalex.org/W2044710350","https://openalex.org/W2052363833","https://openalex.org/W2059703978","https://openalex.org/W2088735483","https://openalex.org/W2092351491","https://openalex.org/W2101718506","https://openalex.org/W2102222848","https://openalex.org/W2116918412","https://openalex.org/W2128303158","https://openalex.org/W2133206580","https://openalex.org/W2139555094","https://openalex.org/W2145619371","https://openalex.org/W2151716725","https://openalex.org/W2169661165","https://openalex.org/W2173213060","https://openalex.org/W2208976468","https://openalex.org/W2218092420","https://openalex.org/W2509653070","https://openalex.org/W2535658741","https://openalex.org/W2537120646","https://openalex.org/W2767680799","https://openalex.org/W2777452194","https://openalex.org/W2787976344","https://openalex.org/W2896434942","https://openalex.org/W2898228075","https://openalex.org/W2898972062","https://openalex.org/W2900081643","https://openalex.org/W2912911518","https://openalex.org/W2994988999","https://openalex.org/W3022047199","https://openalex.org/W3033661937","https://openalex.org/W3033863073","https://openalex.org/W3039827481","https://openalex.org/W3121734556","https://openalex.org/W3204986030","https://openalex.org/W4225138414","https://openalex.org/W4232836212","https://openalex.org/W4235062881","https://openalex.org/W4235903093","https://openalex.org/W4238764673","https://openalex.org/W4245120671","https://openalex.org/W4247948196","https://openalex.org/W4248305857","https://openalex.org/W4249212548","https://openalex.org/W4251269212","https://openalex.org/W4389678830","https://openalex.org/W6911398127"],"related_works":["https://openalex.org/W1984580890","https://openalex.org/W4287388809","https://openalex.org/W3147630542","https://openalex.org/W2052363833","https://openalex.org/W4382045769","https://openalex.org/W2049969095","https://openalex.org/W4389032618","https://openalex.org/W2096586386","https://openalex.org/W1532381823","https://openalex.org/W4390603516"],"abstract_inverted_index":{"Software":[0],"contracts":[1,52],"empower":[2],"programmers":[3],"to":[4,13],"describe":[5],"functional":[6],"properties":[7],"of":[8,36,44,62,69],"components.":[9],"When":[10],"it":[11],"comes":[12],"constraining":[14],"effects,":[15],"though,":[16],"the":[17,34,42,74],"literature":[18],"offers":[19],"only":[20],"one-off":[21],"solutions":[22],"for":[23],"various":[24],"effects.":[25],"It":[26],"lacks":[27],"a":[28,57],"universal":[29],"principle.":[30],"This":[31],"paper":[32],"presents":[33],"design":[35],"an":[37,67],"effectful":[38],"contract":[39],"system":[40],"in":[41],"context":[43],"effect":[45],"handlers.":[46],"A":[47],"key":[48],"metatheorem":[49],"shows":[50],"that":[51,73],"cannot":[53],"unduly":[54],"interfere":[55],"with":[56,66],"program\u2019s":[58],"execution.":[59],"An":[60],"implementation":[61],"this":[63],"design,":[64],"along":[65],"evaluation":[68],"its":[70],"generality,":[71],"demonstrates":[72],"theory":[75],"can":[76],"guide":[77],"practice.":[78]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}