{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:02:27Z","timestamp":1786978947752,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111636","type":"print"},{"value":"9783319111643","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_22","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T03:49:11Z","timestamp":1410493751000},"page":"263-268","source":"Crossref","is-referenced-by-count":8,"title":["Checking Data Structure Properties Orders of Magnitude Faster"],"prefix":"10.1007","author":[{"given":"Emmanouil","family":"Koukoutos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Blanc, R.W., Kneuss, E., Kuncak, V., Suter, P.: An overview of the Leon verification system: Verification by translation to recursive functions. In: Scala Workshop (2013)","DOI":"10.1145\/2489837.2489838"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bodden, E., Lam, P., Hendren, L.: Partially evaluating finite-state runtime monitors ahead of time. ACM Trans. Program. Lang. Syst.\u00a034(2), 7:1\u20137:52 (2012)","DOI":"10.1145\/2220365.2220366"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid type checking. In: Morrisett, J.G., Jones, S.L.P. (eds.) POPL, pp. 245\u2013256. ACM (2006)","DOI":"10.1145\/1111320.1111059"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-15975-4_34","volume-title":"Functional Programming Languages and Computer Architecture","author":"J. Hughes","year":"1985","unstructured":"Hughes, J.: Lazy memo-functions. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 129\u2013146. Springer, Heidelberg (1985)"},{"issue":"5136","key":"22_CR5","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Michie, D.: Memo functions and machine learning. Nature\u00a0218(5136), 19\u201322 (1968)","journal-title":"Nature"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/3-540-61628-4_5","volume-title":"Advanced Functional Programming","author":"C. Okasaki","year":"1996","unstructured":"Okasaki, C.: Functional data structures. In: Launchbury, J., Sheard, T., Meijer, E. (eds.) AFP 1996. LNCS, vol.\u00a01129, pp. 131\u2013158. Springer, Heidelberg (1996)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1145\/1273442.1250770","volume":"42","author":"A. Shankar","year":"2007","unstructured":"Shankar, A., Bodik, R.: Ditto: automatic incrementalization of data structure invariant checks (in Java). ACM SIGPLAN Notices\u00a042, 310\u2013319 (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Suter, P., K\u00f6ksal, A.S., Kuncak, V.: Satisfiability modulo recursive programs. In: Yahav, E. (ed.) SAS 2011. LNCS, vol.\u00a06887, pp. 298\u2013315. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-23702-7_23"},{"issue":"1-2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T. Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: Xsb: Extending Prolog with tabled logic programming. Theory and Practice of Logic Programming\u00a012(1-2), 157\u2013187 (2012)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:44:20Z","timestamp":1558979060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}