{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:52:33Z","timestamp":1725558753610},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141065"},{"type":"electronic","value":"9783642141072"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14107-2_9","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T12:10:14Z","timestamp":1277813414000},"page":"175-199","source":"Crossref","is-referenced-by-count":10,"title":["Verifying Generics and Delegates"],"prefix":"10.1007","author":[{"given":"Kasper","family":"Svendsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Birkedal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Parkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W. Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling\u00a04, 32\u201354 (2005)","journal-title":"Software and System Modeling"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec $^\\sharp$ programming system: An overview. In: CASSIS, pp. 49\u201369 (2005)","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-540-31987-0_17","volume-title":"Programming Languages and Systems","author":"B. Biering","year":"2005","unstructured":"Biering, B., Birkedal, L., Torp-Smith, N.: Bi hyperdoctrines and higher-order separation logic. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 233\u2013247. Springer, Heidelberg (2005)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bornat, R., Calcagno, C., O\u2019Hearn, P.W., Parkinson, M.J.: Permission accounting in separation logic. In: Proceedings of POPL, pp. 259\u2013270 (2005)","DOI":"10.1145\/1047659.1040327"},{"key":"9_CR5","unstructured":"Bornat, R., Calcagno, C., Yang, H.: Variables as resources in separation logic. In: Proceedings of MFPS, pp. 125\u2013146 (2005)"},{"key":"9_CR6","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. In: FMICS, pp. 73\u201389 (2003)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Distefano, D., Parkinson, M.J.: jstar: towards practical verification for java. In: OOPSLA, pp. 213\u2013226 (2008)","DOI":"10.1145\/1449955.1449782"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for java. In: PLDI, pp. 234\u2013245 (2002)","DOI":"10.1145\/512529.512558"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Krishnaswami, N.R., Aldrich, J., Birkedal, L., Svendsen, K., Buisse, A.: Design patterns in separation logic. In: Proceedings of TLDI 2009, pp. 105\u2013116 (2009)","DOI":"10.1145\/1481861.1481874"},{"key":"9_CR10","unstructured":"M\u00fcller, P., Ruskiewicz, J.N.: A modular verification methodology for C# delegates. In: Gl\u00e4sser, U., Abrial, J.-R. (eds.) Rigorous Methods for Software Construction and Analysis (2007) ( to appear)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-71316-6_14","volume-title":"Programming Languages and Systems","author":"A. Nanevski","year":"2007","unstructured":"Nanevski, A., Ahmed, A., Morrisett, G., Birkedal, L.: Abstract predicates and mutable adts in hoare type theory. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 189\u2013204. Springer, Heidelberg (2007)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Nordio, M., Calcagno, C., Meyer, B., M\u00fcller, P.: Reasoning about function objects. Technical Report 615, ETH Zurich (2009)","DOI":"10.1007\/978-3-642-13953-6_5"},{"issue":"1-3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.tcs.2006.12.035","volume":"375","author":"P.W. O\u2019Hearn","year":"2007","unstructured":"O\u2019Hearn, P.W.: Resources, concurrency and local reasoning. Theor. Comput. Sci.\u00a0375(1-3), 271\u2013307 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR14","unstructured":"Parkinson, M.: Local Reasoning for Java. PhD thesis, University of Cambridge (November 2005)"},{"key":"9_CR15","volume-title":"ACM Symposium on Principles of Programming Languages (POPL 2008)","author":"M. Parkinson","year":"2008","unstructured":"Parkinson, M., Bierman, G.: Separation logic, abstraction and inheritance. In: ACM Symposium on Principles of Programming Languages (POPL 2008). ACM Press, New York (January 2008)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Parkinson, M.J., Bierman, G.M.: Separation logic and abstraction. In: Proceedings of POPL, pp. 247\u2013258 (2005)","DOI":"10.1145\/1040305.1040326"},{"key":"9_CR17","first-page":"137","volume-title":"Proceedings of LICS","author":"M.J. Parkinson","year":"2006","unstructured":"Parkinson, M.J., Bornat, R., Calcagno, C.: Variables as resource in Hoare logic. In: Proceedings of LICS, pp. 137\u2013146. IEEE, Los Alamitos (2006)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78739-6_26","volume-title":"Programming Languages and Systems","author":"R.L. Petersen","year":"2008","unstructured":"Petersen, R.L., Birkedal, L., Nanevski, A., Morrisett, G.: A realizability model for impredicative hoare type theory. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 337\u2013352. Springer, Heidelberg (2008)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-04027-6_32","volume-title":"Computer Science Logic","author":"J. Schwinghammer","year":"2009","unstructured":"Schwinghammer, J., Birkedal, L., Reus, B., Yang, H.: Nested hoare triples and frame rules for higher-order store. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL 2009. LNCS, vol.\u00a05771, pp. 440\u2013454. Springer, Heidelberg (2009)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Svendsen, K., Birkedal, L., Parkinson, M.: Verifying generics and delegates (technical appendix). Technical report (2009), http:\/\/www.itu.dk\/people\/kasv\/generics-delegates-tr.pdf","DOI":"10.1007\/978-3-642-14107-2_9"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-540-71389-0_26","volume-title":"Foundations of Software Science and Computational Structures","author":"N. Yoshida","year":"2007","unstructured":"Yoshida, N., Honda, K., Berger, M.: Logical reasoning for higher-order functions with local state. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 361\u2013377. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2010 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14107-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T09:11:37Z","timestamp":1635585097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14107-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141065","9783642141072"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14107-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}