{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:21:15Z","timestamp":1742973675486,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164774"},{"type":"electronic","value":"9783642164781"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16478-1_9","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:07:22Z","timestamp":1288703242000},"page":"141-158","source":"Crossref","is-referenced-by-count":0,"title":["Nested and Dynamic Contract Boundaries"],"prefix":"10.1007","author":[{"given":"T. Stephen","family":"Strickland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Flatt, M., et al.: PLT Scheme. Reference Manual PLT-TR2009-reference-v4.2.1., PLT Scheme Inc. (January 2009), http:\/\/plt-scheme.org\/techreports\/"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.M., Plouzeau, N., Watkins, D.: Making components contract aware. IEEE Software, 38\u201345 (June 1999)","DOI":"10.1109\/2.774917"},{"issue":"9","key":"9_CR3","first-page":"23","volume":"7","author":"M. Carrillo-Castellon","year":"1996","unstructured":"Carrillo-Castellon, M., Garcia-Molina, J., Pimentel, E., Repiso, I.: Design by contract in Smalltalk. Journal of Object-Oriented Programming\u00a07(9), 23\u201328 (1996)","journal-title":"Journal of Object-Oriented Programming"},{"key":"9_CR4","unstructured":"Duncan, A., H\u00f6lzle, U.: Adding contracts to Java with Handshake. Technical Report TRCS98-32, The University of California at Santa Barbara (December 1998)"},{"key":"9_CR5","first-page":"46","volume-title":"Proceedings of the Fifth International Conference on Software Reuse","author":"S. Edwards","year":"1998","unstructured":"Edwards, S., Shakir, G., Sitaraman, M., Weide, B., Hollingsworth, J.: A framework for detecting interface violations in component-based software. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 46\u201355. IEEE, Los Alamitos (June 1998)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: specifying behaviorial compositions in object-oriented systems. In: Proceedings of Object-Oriented Programming, Systems, Languages, and Applications, pp. 169\u2013180 (1990)","DOI":"10.1145\/97945.97967"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1016\/S1571-0661(04)00254-3","volume":"55","author":"M. Kim","year":"2001","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a run-time assurance tool for Java. Electronic Notes in Theoretical Computer Science\u00a055(2), 218\u2013235 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Kramer, R.: iContract: the Java design by contract tool. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 295\u2013307 (August 1998)","DOI":"10.1109\/TOOLS.1998.711021"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-48443-4_18","volume-title":"Meta-Level Architectures and Reflection","author":"M. Karaorman","year":"1999","unstructured":"Karaorman, M., H\u00f6lzle, U., Bruno, J.: jContractor: a reflective Java library to support design by contract. In: Cointe, P. (ed.) Reflection 1999. LNCS, vol.\u00a01616, pp. 175\u2013196. Springer, Heidelberg (1999)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: Proceedings of Object-Oriented Programming, Systems, Languages, and Applications, Companion, pp. 105\u2013106 (2000)","DOI":"10.1145\/367845.367996"},{"key":"9_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9685-7","volume-title":"Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs","author":"D.C. Luckham","year":"1990","unstructured":"Luckham, D.C.: Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs. Springer, Heidelberg (1990)"},{"key":"9_CR12","unstructured":"Microsoft Corporation: Microsoft C# Language Specifications. Microsoft Press (2001)"},{"issue":"10","key":"9_CR13","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Weck, W.: Inheritance using contracts and object composition. In: Proceedings of the Workshop on Components-Oriented Programming, pp. 384\u2013388 (1997)","DOI":"10.1007\/3-540-69687-3_78"},{"key":"9_CR15","unstructured":"Gomes, B., Stoutamire, D., Vaysman, B., Klawitter, H.: A Language Manual for Sather 1.1 (August 1996)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Pl\u00f6sch, R., Pichler, J.: Contracts: from analysis to C++ implementation. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 248\u2013257 (August 1999)","DOI":"10.1109\/TOOLS.1999.787553"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Ruby, C., Leavens, G.T.: Safely creating correct subclasses without seeing superclass code. In: Proceedings of Object-Oriented Programming, Systems, Languages, and Applications, pp. 208\u2013228 (October 2000)","DOI":"10.1145\/354222.353186"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: Proceedings of the International Conference on Functional Programming, pp. 48\u201359 (October 2002)","DOI":"10.1145\/581478.581484"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Owens, S., Flatt, M.: From structures and functors to modules and units. In: Proceedings of the International Conference on Functional Programming, pp. 87\u201398 (September 2006)","DOI":"10.1145\/1159803.1159815"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: Proceedings of Programming Language Design and Implementation, pp. 236\u2013248 (June 1998)","DOI":"10.1145\/277650.277730"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Strickland, T.S., Felleisen, M.: Contracts for first-class modules. In: Proceedings of the Fifth Dynamic Languages Symposium, pp. 27\u201338 (October 2009)","DOI":"10.1145\/1640134.1640140"},{"key":"9_CR22","volume-title":"Component Software","author":"C. Szyperski","year":"1997","unstructured":"Szyperski, C.: Component Software. Addison-Wesley, Reading (1997)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Flatt, M.: Composable and compilable macros: You want it when?. In: Proceedings of the International Conference on Functional Programming, pp. 72\u201383 (October 2002)","DOI":"10.1145\/581478.581486"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Culpepper, R., Tobin-Hochstadt, S., Flatt, M.: Advanced macrology and the implementation of Typed Scheme. In: Proceedings of the Scheme Workshop, Universit\u00e9 Laval Technical Report DIUL-RT-0701, pp. 1\u201314 (September 2007)","DOI":"10.1145\/1328897.1328486"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Manifest types, modules, and separate compilation. In: Proceedings of Principles of Programming Languages, pp. 109\u2013122 (January 1994)","DOI":"10.1145\/174675.176926"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Harper, R., Lillibridge, M.: A type-theoretic approach to higher-order modules with sharing. In: Proceedings of Principles of Programming Languages, pp. 123\u2013137 (January 1994)","DOI":"10.1145\/174675.176927"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Flatt, M., Findler, R.B., Felleisen, M.: Scheme with classes, mixins, and traits. In: Proceedings of the Asian Symposium on Programming Languages and Systems, pp. 270\u2013289 (November 2006)","DOI":"10.1007\/11924661_17"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-45070-2_12","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.: Traits: Composable units of behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 248\u2013274. Springer, Heidelberg (2003)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Felleisen, M., Findler, R.B., Flatt, M., Krishnamurthi, S.: A functional i\/o system or, fun for freshman kids. In: Proceedings of the International Conference on Functional Programming, pp. 47\u201358 (October 2009)","DOI":"10.1145\/1596550.1596561"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11737414_16","volume-title":"Functional and Logic Programming","author":"R.B. Findler","year":"2006","unstructured":"Findler, R.B., Blume, M.: Contracts as pairs of projections. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 226\u2013241. Springer, Heidelberg (2006)"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D.L. Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM\u00a015, 1053\u20131058 (1972)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16478-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T13:27:11Z","timestamp":1740662831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16478-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164774","9783642164781"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16478-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}