{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:17:13Z","timestamp":1725689833745},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308840"},{"type":"electronic","value":"9783642308857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30885-7_24","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T08:50:45Z","timestamp":1340787045000},"page":"327-330","source":"Crossref","is-referenced-by-count":1,"title":["A Unified Processor Model for Compiler Verification and Simulation Using ASM"],"prefix":"10.1007","author":[{"given":"Roland","family":"Lezuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Krall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: Abstract state machines: A method for high-level system design and analysis (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"24_CR2","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. In: Proc. of the 12th International Workshop on Abstract State Machines, pp. 153\u2013165 (2005)"},{"issue":"4","key":"24_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/131080.131089","volume":"27","author":"C.W. Fraser","year":"1992","unstructured":"Fraser, C.W., Henry, R.R., Proebsting, T.A.: BURG: fast optimal instruction selection and tree parsing. ACM Sigplan Notices\u00a027(4), 68\u201376 (1992)","journal-title":"ACM Sigplan Notices"},{"key":"24_CR4","unstructured":"Gaul, T.S.: An abstract state macine specification of the DEC-alpha processor family (1995), \n                    \n                      ftp:\/\/www.jair.org\/groups\/Ealgebras\/alpha.pdf"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-14203-1_16","volume-title":"Automated Reasoning","author":"K. Hoder","year":"2010","unstructured":"Hoder, K., Kov\u00e1cs, L., Voronkov, A.: Interpolation and Symbol Elimination in Vampire. In: Giesl, J., H\u00e4hnle, R. (eds.) IJCAR 2010. LNCS, vol.\u00a06173, pp. 188\u2013195. Springer, Heidelberg (2010)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Siegel, M., Singerman, F.: Translation validation, pp. 151\u2013166. Springer (1998)","DOI":"10.1007\/BFb0054170"},{"key":"24_CR7","first-page":"91","volume":"15","author":"A. Riazanov","year":"2002","unstructured":"Riazanov, A., Voronkov, A.: The design and implementation of VAMPIRE. AI Commun.\u00a015, 91\u2013110 (2002)","journal-title":"AI Commun."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/3-540-44518-8_15","volume-title":"Abstract State Machines - Theory and Applications","author":"J. Teich","year":"2000","unstructured":"Teich, J., Kutter, P.W., Weper, R.: Description and Simulation of Microprocessor Instruction Sets Using ASMs. In: Gurevich, Y., Kutter, P.W., Vetta, A., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 266\u2013286. Springer, Heidelberg (2000)"},{"key":"24_CR9","first-page":"504","volume":"3","author":"W. Zimmermann","year":"1997","unstructured":"Zimmermann, W., Gaul, T.: On the construction of correct compiler back-ends: An ASM approach. Journal of Universal Computer Science\u00a03, 504\u2013567 (1997)","journal-title":"Journal of Universal Computer Science"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30885-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:33:13Z","timestamp":1620127993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30885-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308840","9783642308857"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30885-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}