{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:00:05Z","timestamp":1725494405992},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540697350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69738-1_4","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T12:58:07Z","timestamp":1194872287000},"page":"59-73","source":"Crossref","is-referenced-by-count":7,"title":["Model Checking Via \u0393CFA"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Might","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Chambers","sequence":"additional","affiliation":[]},{"given":"Olin","family":"Shivers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Compiling with Continuations","year":"1992","author":"A.W. Appel","key":"4_CR1","unstructured":"Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (1992)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: Proceedings of the 29th Annual ACM SIGPLAN Conference on the Principles of Programming Languages, Portland, Oregon, pp. 1\u20133 (January 2002)","DOI":"10.1145\/503272.503274"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Cook, B., Podelski, A., Rybalchenko, A.: Termination proofs for systems code. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2006, Ottawa, Canada (June 2006)","DOI":"10.1145\/1133981.1134029"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, California, vol. 4, pp. 238\u2013252 (January 1977)","DOI":"10.1145\/512950.512973"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: ACM SIGPLAN Symposium on Principles of Programming Languages, San Antonio, Texas, vol. 6, pp. 269\u2013282 (January 1979)","DOI":"10.1145\/567752.567778"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/S0304-3975(02)00733-8","volume":"1","author":"O. Danvy","year":"2003","unstructured":"Danvy, O.: A first-order one-pass CPS transformation. Theoretical Computer Science 308\u00a01(3), 239\u2013257 (2003)","journal-title":"Theoretical Computer Science 308"},{"key":"4_CR7","unstructured":"Leuschel, M., Bendisposto, J.: Animating and model checking b specifications with higher-order recursive functions. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis, no.\u00a006191 in Dagstuhl Seminar Proceedings (2006)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Might, M.: Logic-flow analysis of higher-order programs. In: Proceedings of the 34th Annual ACM SIGPLAN Conference on the Principles of Programming Languages, Nice, France (January 2007)","DOI":"10.1145\/1190216.1190247"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Might, M., Shivers, O.: Improving Flow Analysis via \u0393CFA: Abstract Garbage Collection and Counting. In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon (September 2006)","DOI":"10.1145\/1159803.1159807"},{"issue":"3\u20134","key":"4_CR10","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01019462","volume":"6","author":"A. Sabry","year":"1993","unstructured":"Sabry, A., Felleisen, M.: Reasoning about programs in continuation-passing style. Lisp and Symbolic Computation 6(3\u20134), 289\u2013360 (1993)","journal-title":"Lisp and Symbolic Computation"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Shivers, O.: Control-flow analysis in Scheme. In: Proceedings of the SIGPLAN \u201988 Conference on Programming Language Design and Implementation, PLDI, Atlanta, Georgia, pp. 164\u2013174 (June 1988)","DOI":"10.1145\/53990.54007"},{"key":"4_CR12","unstructured":"Steele, J.G.L.: RABBIT: a compiler for SCHEME. Master\u2019s thesis, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, Massachusetts, Technical report AI-TR-474 (May 1978)"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/271510.271523","volume":"20","author":"A.K. Wright","year":"1998","unstructured":"Wright, A.K., Jagannathan, S.: Polymorphic splitting: An effective polyvariant flow analysis. ACM Transactions on Programming Languages and Systems\u00a020(1), 166\u2013207 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69738-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:45:09Z","timestamp":1620017109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69738-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540697350"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69738-1_4","relation":{},"subject":[]}}
