{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:18Z","timestamp":1772164098412,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,4]],"date-time":"2016-09-04T00:00:00Z","timestamp":1472947200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951930","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"117-131","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Oh Lord, please don't let contracts be misunderstood (functional pearl)"],"prefix":"10.1145","author":[{"given":"Christos","family":"Dimoulas","sequence":"first","affiliation":[{"name":"PLT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max S.","family":"New","sequence":"additional","affiliation":[{"name":"PLT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[{"name":"PLT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[{"name":"PLT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"RV 2001, Run-time Verification (Satellite Workshop of FLoC '02)","author":"Abercrombie Parker"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297070"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1785141.1785154"},{"key":"e_1_3_2_1_5_1","volume-title":"RV 2001, Run-time Verification (Satellite Workshop of CAV '01)","author":"Bartetzko Detlef"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.37.1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005971"},{"key":"e_1_3_2_1_8_1","unstructured":"Eric Bodden. J-LO a Tool for Runtime-Checking Temporal Assertions. RWTH Aachen University 2005. Master's Thesis.  Eric Bodden. J-LO a Tool for Runtime-Checking Temporal Assertions. RWTH Aachen University 2005. Master's Thesis."},{"key":"e_1_3_2_1_9_1","volume-title":"RV 2003, Runtime Verification (Satellite Workshop of CAV '03)","author":"Chen Feng"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90005-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796812000275"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863577"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039346.2039348"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926410"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_11"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034800"},{"key":"e_1_3_2_1_17_1","unstructured":"Doron Drusinsky. Temporal Rover. 2010. http:\/\/www. time-rover.com  Doron Drusinsky. Temporal Rover. 2010. http:\/\/www. time-rover.com"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90036-W"},{"key":"e_1_3_2_1_19_1","volume-title":"MIT Press","author":"Felleisen Matthias","year":"2009"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_23_1","unstructured":"Robert Bruce Findler Matthias Felleisen and Matthias Blume. An Investigation of Contracts as Projections. University of Chicago Computer Science Department TR-2004-02 2004.  Robert Bruce Findler Matthias Felleisen and Matthias Blume. An Investigation of Contracts as Projections. University of Chicago Computer Science Department TR-2004-02 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596569"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_17"},{"key":"e_1_3_2_1_27_1","unstructured":"Matthew Flatt and PLT. Reference: Racket. PLT Inc. PLTTR-2010-1 2010. http:\/\/racket-lang.org\/tr1\/  Matthew Flatt and PLT. Reference: Racket. PLT Inc. PLTTR-2010-1 2010. http:\/\/racket-lang.org\/tr1\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-005-4879-2"},{"key":"e_1_3_2_1_29_1","first-page":"180","volume-title":"Nelly Delgado. DynaMICs: Comprehensive Support for Run-Time Monitoring. In Proc. International Conference on Runtime Verification","author":"Gates Ann Q.","year":"2001"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094841"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706341"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800228.806933"},{"key":"e_1_3_2_1_33_1","unstructured":"Guy Lewis Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. Massachusetts Institute of Technology Artificial Intelligence Laboratory AIM-452 1978.  Guy Lewis Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. Massachusetts Institute of Technology Artificial Intelligence Laboratory AIM-452 1978."},{"key":"e_1_3_2_1_34_1","volume-title":"RV 2001, Run-time Verification (Satellite Workshop of CAV '01)","author":"Havelund Klaus"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103671"},{"key":"e_1_3_2_1_36_1","first-page":"138","volume-title":"Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In Proc. European Symposium on on Programming","author":"Honda Kohei","year":"1998"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165891"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083246.1083249"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094840"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869506"},{"key":"e_1_3_2_1_43_1","first-page":"80","volume-title":"Meredith and Grigore Ro\u00b8su. Efficient Parametric Runtime Verification with Deterministic String Rewriting. In Proc. ACM\/IEEE International Conference on Automated Software Engineering","author":"Patrick","year":"2013"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_45_1","volume-title":"Prentice Hall","author":"Meyer Bernard","year":"1992"},{"key":"e_1_3_2_1_46_1","first-page":"199","volume-title":"Stephen Chong. Shill: A Secure Shell Scripting Language. In Proc. USENIX Symposium on Operating Systems Design and Implementation","author":"Moore Scott","year":"2014"},{"key":"e_1_3_2_1_47_1","volume-title":"Massachusetts Institute of Technology","author":"Morris James Hiram","year":"1968"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737971"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628156"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375602"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.09.005"},{"key":"e_1_3_2_1_52_1","unstructured":"Herbert A. Simon. Administrative Behavior. MacMillan 1947.  Herbert A. Simon. Administrative Behavior. MacMillan 1947."},{"key":"e_1_3_2_1_53_1","first-page":"68","volume-title":"Matthias Felleisen. Feature-specific Profiling. In Proc. Compiler Construction","author":"St-Amour Vincent","year":"2015"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2518189"},{"key":"e_1_3_2_1_56_1","first-page":"158","volume-title":"Strickland and Matthias Felleisen. Nested and Dynamic Contract Boundaries. In Proc. International Conference on Functional and Logic Programming","author":"Stephen T.","year":"2009"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384685"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_14"},{"key":"e_1_3_2_1_59_1","unstructured":"The Coq Cevelopment Team. The Coq Proof Assistant Reference Manual. LogiCal Project Version 8.0 2004.  The Coq Cevelopment Team. The Coq Proof Assistant Reference Manual. LogiCal Project Version 8.0 2004."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951930","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951930","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:56:21Z","timestamp":1750208181000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951930"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":60,"alternative-id":["10.1145\/2951913.2951930","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951930","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951930","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}