{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:56:01Z","timestamp":1725569761152},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"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-16612-9_5","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"51-57","source":"Crossref","is-referenced-by-count":12,"title":["Contracts for Scala"],"prefix":"10.1007","author":[{"given":"Martin","family":"Odersky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-69149-5_16","volume-title":"Verified Software: Theories, Tools, Experiments","author":"M. Barnett","year":"2008","unstructured":"Barnett, M., DeLine, R., F\u00e4hndrich, M., Jacobs, B., Leino, K.R.M., Schulte, W., Venter, H.S.: The spec# programming system: Challenges and directions. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 144\u2013152. Springer, Heidelberg (2008)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/CSF.2008.27","volume-title":"CSF 2008: Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium","author":"J. Bengtson","year":"2008","unstructured":"Bengtson, J., Bhargavan, K., Fournet, C., Gordon, A.D., Maffeis, S.: Refinement types for secure implementations. In: CSF 2008: Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium, Washington, DC, USA, pp. 17\u201332. IEEE Computer Society, Los Alamitos (2008)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: ICFP, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/1111037.1111059","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"C. Flanagan","year":"2006","unstructured":"Flanagan, C.: Hybrid type checking. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 245\u2013256. ACM, New York (2006)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/1542476.1542510","volume-title":"PLDI","author":"M. Kawaguchi","year":"2009","unstructured":"Kawaguchi, M., Rondon, P.M., Jhala, R.: Type-based data structure verification. In: Hind, M., Diwan, A. (eds.) PLDI, pp. 304\u2013315. ACM, New York (2009)"},{"key":"5_CR6","first-page":"316","volume-title":"PLDI","author":"V. Kuncak","year":"2010","unstructured":"Kuncak, V., Mayer, M., Piskac, R., Suter, P.: Complete functional synthesis. In: Zorn, B.G., Aiken, A. (eds.) PLDI, pp. 316\u2013329. ACM, New York (2010)"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G.T. Leavens","year":"2006","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of jml: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201338 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5_CR8","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall, Hemel Hempstead (1992)"},{"key":"5_CR9","unstructured":"Nielsen, A.B.: Scala compiler phase and plug-in initialization (2008), \n                    \n                      http:\/\/lampsvn.epfl.ch\/svn-repos\/scala\/lamp-sip\/compiler-phase-init\/sip-00002.xhtml"},{"key":"5_CR10","unstructured":"Nilsson, R.: Scalacheck user guide (2008), http:\/\/code.google.com\/p\/scalacheck\/wiki\/UserGuide"},{"key":"5_CR11","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala. Artima (2008)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1145\/1375581.1375602","volume-title":"PLDI","author":"P.M. Rondon","year":"2008","unstructured":"Rondon, P.M., Kawaguchi, M., Jhala, R.: Liquid types. In: Gupta, R., Amarasinghe, S.P. (eds.) PLDI, pp. 159\u2013169. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T01:23:20Z","timestamp":1553390600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}