{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:15:30Z","timestamp":1784232930247,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T00:00:00Z","timestamp":1327276800000},"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":[[2012,1,23]]},"DOI":"10.1145\/2103746.2103766","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:47:19Z","timestamp":1327423639000},"page":"97-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["The interaction of contracts and laziness"],"prefix":"10.1145","author":[{"given":"Markus","family":"Degen","sequence":"first","affiliation":[{"name":"University of Freiburg, Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[{"name":"University of Freiburg, Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Wehr","sequence":"additional","affiliation":[{"name":"University of Freiburg, Freiburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"P. Abercrombie and M. Karaorman. jContractor: Design by contract for Java. http:\/\/jcontractor.sourceforge.net\/ 2003.  P. Abercrombie and M. Karaorman. jContractor: Design by contract for Java. http:\/\/jcontractor.sourceforge.net\/ 2003.","DOI":"10.1016\/S1571-0661(04)80577-2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80280-4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005971"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929527"},{"key":"e_1_3_2_1_5_1","volume-title":"5th Asian Symposium, APLAS","author":"Chitil O.","year":"2007","unstructured":"O. Chitil and F. Huch . Monadic prompt lazy assertions in Haskell. In Z. Shao, editor, Programming Languages and Systems , 5th Asian Symposium, APLAS 2007 , number 4807 in LNCS, pages 38--53. Springer, Nov. 2007. O. Chitil and F. Huch. Monadic prompt lazy assertions in Haskell. In Z. Shao, editor, Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, number 4807 in LNCS, pages 38--53. Springer, Nov. 2007."},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"126","volume-title":"Implementation and Application of Functional Languages, 18th International Symposium, IFL","author":"Chitil O.","year":"2006","unstructured":"O. Chitil and F. Huch . A pattern logic for prompt lazy assertions . In Z. Horv\u00e1th, V. Zs\u00f3k, and A. Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006 , volume 4449 of LNCS , pages 126 -- 144 , Budapest, Hungary, April 2007. Springer-Verlag . O. Chitil and F. Huch. A pattern logic for prompt lazy assertions. In Z. Horv\u00e1th, V. Zs\u00f3k, and A. Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, volume 4449 of LNCS, pages 126--144, Budapest, Hungary, April 2007. Springer-Verlag."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2157896.2157898"},{"key":"e_1_3_2_1_8_1","first-page":"2946","volume-title":"Workshop ATPS 2009","volume":"154","author":"Degen M.","year":"2009","unstructured":"M. Degen , P. Thiemann , and S. Wehr . True lies: Lazy contracts for lazy languages . In Workshop ATPS 2009 , volume 154 of LNI, pages 2946 -- 2959 , L\u00fcbeck, Germany , 2009 . GI. M. Degen, P. Thiemann, and S. Wehr. True lies: Lazy contracts for lazy languages. In Workshop ATPS 2009, volume 154 of LNI, pages 2946--2959, L\u00fcbeck, Germany, 2009. GI."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926410"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599435"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85373-2_7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706341"},{"key":"e_1_3_2_1_19_1","volume-title":"Workshop on Scheme and Functional Programming","author":"Gronski J.","year":"2006","unstructured":"J. Gronski , K. Knowles , A. Tomb , S. N. Freund , and C. Flanagan . Sage: Hybrid checking for flexible specifications . In Workshop on Scheme and Functional Programming , 2006 . J. Gronski, K. Knowles, A. Tomb, S. N. Freund, and C. Flanagan. Sage: Hybrid checking for flexible specifications. In Workshop on Scheme and Functional Programming, 2006."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297089"},{"key":"e_1_3_2_1_21_1","first-page":"50","volume-title":"Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010","author":"Hanus M.","year":"2010","unstructured":"M. Hanus . Lazy and faithful assertions for functional logic programs . In Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010 ), pages 50 -- 64 . Universidad Polit\u00e9cnica de Madrid , 2010 . M. Hanus. Lazy and faithful assertions for functional logic programs. In Proc. of the 19th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), pages 50--64. Universidad Polit\u00e9cnica de Madrid, 2010."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_15"},{"key":"e_1_3_2_1_23_1","first-page":"295","volume-title":"Proceedings of the Technology of Object-Oriented Languages and Systems","author":"Kramer R.","year":"1998","unstructured":"R. Kramer . iContract -- the Java design by contract tool . In Proceedings of the Technology of Object-Oriented Languages and Systems , pages 295 -- 307 , Santa Barbara, CA, USA , 1998 . R. Kramer. iContract -- the Java design by contract tool. In Proceedings of the Technology of Object-Oriented Languages and Systems, pages 295--307, Santa Barbara, CA, USA, 1998."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_25_1","volume-title":"Eiffel: The Language","author":"Meyer B.","year":"1992","unstructured":"B. Meyer . Eiffel: The Language . Prentice-Hall , 1992 . B. Meyer. Eiffel: The Language. Prentice-Hall, 1992."},{"key":"e_1_3_2_1_26_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice-Hall , 2 nd edition, 1997 . B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, 1997.","edition":"2"},{"key":"e_1_3_2_1_27_1","first-page":"437","volume-title":"J.-J","author":"Ou X.","year":"2004","unstructured":"X. Ou , G. Tan , Y. Mandelbaum , and D. Walker . Dynamic typing with dependent types . In J.-J . L\u00e9vy, E. W. Mayr, and J. C. Mitchell, editors, IFIP TCS, pages 437 -- 450 . Kluwer , 2004 . X. Ou, G. Tan, Y. Mandelbaum, and D. Walker. Dynamic typing with dependent types. In J.-J. L\u00e9vy, E. W. Mayr, and J. C. Mitchell, editors, IFIP TCS, pages 437--450. Kluwer, 2004."},{"key":"e_1_3_2_1_28_1","volume-title":"The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones , editor. Haskell 98 Language and Libraries , The Revised Report . Cambridge University Press , 2003 . S. Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_29_1","unstructured":"Sun Microsystems. Project Fortress website. http:\/\/projectfortress.sun.com\/ Mar. 2008.  Sun Microsystems. Project Fortress website. http:\/\/projectfortress.sun.com\/ Mar. 2008."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 8th International Symposium on Functional and Logic Programming FLOPS 2006","author":"Wadler P.","year":"2006","unstructured":"P. Wadler and M. Hagiya , editors . Proceedings of the 8th International Symposium on Functional and Logic Programming FLOPS 2006 , Fuji Susono, Japan , Apr. 2006 . Springer-Verlag. P. Wadler and M. Hagiya, editors. Proceedings of the 8th International Symposium on Functional and Logic Programming FLOPS 2006, Fuji Susono, Japan, Apr. 2006. Springer-Verlag."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480889"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Philadelphia Pennsylvania USA","acronym":"POPL '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103766","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103746.2103766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:35Z","timestamp":1750241195000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103766"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,23]]},"references-count":30,"alternative-id":["10.1145\/2103746.2103766","10.1145\/2103746"],"URL":"https:\/\/doi.org\/10.1145\/2103746.2103766","relation":{},"subject":[],"published":{"date-parts":[[2012,1,23]]},"assertion":[{"value":"2012-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}