{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:06:41Z","timestamp":1725984401522},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319952451"},{"type":"electronic","value":"9783319952468"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95246-8_1","type":"book-chapter","created":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T02:50:32Z","timestamp":1531968632000},"page":"1-15","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["You Can Program What You Want but You Cannot Compute What You Want"],"prefix":"10.1007","author":[{"given":"Alireza S.","family":"Abyaneh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph M.","family":"Kirsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,20]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Biere","year":"1999","unstructured":"Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 193\u2013207. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-49059-0_14"},{"key":"1_CR2","unstructured":"Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press, Amsterdam (2009)"},{"key":"1_CR3","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of USENIX Conference on Operating Systems Design and Implementation (OSDI), pp. 209\u2013224. USENIX Association (2008)"},{"key":"1_CR4","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.: Automated whitebox fuzz testing. In: Proceedings of Symposium on Network and Distributed Systems Security (NDSS), pp. 151\u2013166 (2008)"},{"key":"1_CR5","volume-title":"Computer Architecture: A Quantitative Approach","author":"JL Hennessy","year":"2011","unstructured":"Hennessy, J.L., Patterson, D.A.: Computer Architecture: A Quantitative Approach. Morgan Kaufmann, Burlington (2011)"},{"key":"1_CR6","volume-title":"Computer-Aided Reasoning: An Approach","author":"M Kaufmann","year":"2000","unstructured":"Kaufmann, M., Manolios, P., Moore, J.S.: Computer-Aided Reasoning: An Approach. Kluwer, Alphen aan den Rijn (2000)"},{"key":"1_CR7","volume-title":"The C Programming Language","author":"BW Kernighan","year":"2000","unstructured":"Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Prentice Hall, Upper Saddle River (2000)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Kirsch, C.: Selfie and the basics. In: Proceedings of ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). ACM (2017)","DOI":"10.1145\/3133850.3133857"},{"key":"1_CR9","unstructured":"Kumar, R.: Self-compilation and self-verification. Ph.D. thesis, University of Cambridge (2015)"},{"issue":"9","key":"1_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/234215.234473","volume":"39","author":"J Liedtke","year":"1996","unstructured":"Liedtke, J.: Toward real microkernels. Commun. ACM 39(9), 70\u201377 (1996)","journal-title":"Commun. ACM"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of ACM Annual Conference, pp. 717\u2013740 (1972)","DOI":"10.1145\/800194.805852"},{"key":"1_CR12","volume-title":"BCPL: The Language and its Compiler","author":"M Richards","year":"2009","unstructured":"Richards, M., Whitby-Strevens, C.: BCPL: The Language and its Compiler. Cambridge University Press, Cambridge (2009)"},{"key":"1_CR13","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"1996","unstructured":"Sipser, M.: Introduction to the Theory of Computation. International Thomson Publishing, Stamford (1996)"},{"issue":"11","key":"1_CR14","doi-asserted-by":"publisher","first-page":"2021","DOI":"10.1109\/JPROC.2015.2455034","volume":"103","author":"Y Vizel","year":"2015","unstructured":"Vizel, Y., Weissenbacher, G., Malik, S.: Boolean satisfiability solvers and their applications in model checking. Proc. IEEE 103(11), 2021\u20132035 (2015)","journal-title":"Proc. IEEE"},{"key":"1_CR15","volume-title":"Compiler Construction","author":"N Wirth","year":"1996","unstructured":"Wirth, N.: Compiler Construction. Addison Wesley, Boston (1996)"}],"container-title":["Lecture Notes in Computer Science","Principles of Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95246-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,19]],"date-time":"2018-07-19T02:51:18Z","timestamp":1531968678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95246-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319952451","9783319952468"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95246-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}