{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:14:11Z","timestamp":1743056051328,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710653"},{"type":"electronic","value":"9783540710677"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-71067-7_24","type":"book-chapter","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T08:55:16Z","timestamp":1223024116000},"page":"294-309","source":"Crossref","is-referenced-by-count":6,"title":["Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle\/HOL"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Wasserrab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Lochbihler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"246","volume-title":"Proc. of PLDI 1990","author":"H. Agrawal","year":"1990","unstructured":"Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: Proc. of PLDI 1990, pp. 246\u2013256. ACM Press, New York (1990)"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.ipl.2007.10.002","volume":"106","author":"T. Amtoft","year":"2008","unstructured":"Amtoft, T.: Slicing for modern program structures: a theory for eliminating irrelevant loops. Information Processig Letters\u00a0106(2), 45\u201351 (2008)","journal-title":"Information Processig Letters"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-24849-1_3","volume-title":"Types for Proofs and Programs","author":"C. Ballarin","year":"2004","unstructured":"Ballarin, C.: Locales and locale expressions in Isabelle\/Isar. In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol.\u00a03085, pp. 34\u201350. Springer, Heidelberg (2004)"},{"key":"24_CR4","first-page":"200","volume-title":"Proc. of SEFM 2005","author":"J.O. Blech","year":"2005","unstructured":"Blech, J.O., Gesellensetter, L., Glesner, S.: Formal verification of dead code elimination in Isabelle\/HOL. In: Proc. of SEFM 2005, pp. 200\u2013209. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"6","key":"24_CR5","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1093\/logcom\/9.6.835","volume":"9","author":"V. Gouranton","year":"1999","unstructured":"Gouranton, V., M\u00e9tayer, D.L.: Dynamic slicing: a generic analysis based on a natural semantics format. Journal of Logic and Computation\u00a09(6), 835\u2013871 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"24_CR6","first-page":"38","volume-title":"Proc. of PLDI 2005","author":"R. Jhala","year":"2005","unstructured":"Jhala, R., Majumdar, R.: Path slicing. In: Proc. of PLDI 2005, pp. 38\u201347. ACM Press, New York (2005)"},{"issue":"4","key":"24_CR7","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/1146809.1146811","volume":"28","author":"G. Klein","year":"2006","unstructured":"Klein, G., Nipkow, T.: A Machine-Checked Model for a Java-Like Language, Virtual Machine and Compiler. ACM TOPLAS\u00a028(4), 619\u2013695 (2006)","journal-title":"ACM TOPLAS"},{"key":"24_CR8","first-page":"307","volume":"3","author":"J. Krinke","year":"2004","unstructured":"Krinke, J.: Program slicing. Handbook of Software Engineering and Knowledge Engineering\u00a03, 307\u2013332 (2004)","journal-title":"Handbook of Software Engineering and Knowledge Engineering"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-74407-8_20","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"P. Lammich","year":"2007","unstructured":"Lammich, P., M\u00fcller-Olm, M.: Precise fixpoint-based analysis of programs with thread-creation and procedures. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR. LNCS, vol.\u00a04703, pp. 287\u2013302. Springer, Heidelberg (2007)"},{"key":"24_CR10","first-page":"42","volume-title":"Proc. of POPL 2006","author":"X. Leroy","year":"2006","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Proc. of POPL 2006, pp. 42\u201354. ACM Press, New York (2006)"},{"key":"24_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"issue":"5","key":"24_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1275497.1275502","volume":"29","author":"V.P. Ranganath","year":"2007","unstructured":"Ranganath, V.P., Amtoft, T., Banerjee, A., Hatcliff, J., Dwyer, M.B.: A new foundation for control dependence and slicing for modern program structures. ACM TOPLAS\u00a029(5), 27 (2007)","journal-title":"ACM TOPLAS"},{"unstructured":"Reps, T., Yang, W.: The semantics of program slicing. Technical Report CS-TR-1988-777, University of Wisconsin-Madison (1988)","key":"24_CR14"},{"issue":"3","key":"24_CR15","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03(3), 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1216374.1216375","volume":"29","author":"M. Ward","year":"2007","unstructured":"Ward, M., Zedan, H.: Slicing as a program transformation. ACM TOPLAS\u00a029(2), 1\u201353 (2007)","journal-title":"ACM TOPLAS"},{"key":"24_CR17","first-page":"345","volume-title":"Proc. of OOPSLA 2006","author":"D. Wasserrab","year":"2006","unstructured":"Wasserrab, D., Nipkow, T., Snelting, G., Tip, F.: An operational semantics and type safety proof for multiple inheritance in C++. In: Proc. of OOPSLA 2006, pp. 345\u2013362. ACM Press, New York (2006)"},{"unstructured":"Weiser, M.: Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan (1979)","key":"24_CR18"},{"key":"24_CR19","volume-title":"High Performance Compilers for Parallel Computing","author":"M.J. Wolfe","year":"1995","unstructured":"Wolfe, M.J.: High Performance Compilers for Parallel Computing. Addison-Wesley, Reading (1995)"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71067-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T10:20:42Z","timestamp":1551608442000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71067-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540710653","9783540710677"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71067-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}