{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:05Z","timestamp":1749124085358},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615873"},{"type":"electronic","value":"9783540706410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0105415","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T21:17:00Z","timestamp":1320873420000},"page":"347-361","source":"Crossref","is-referenced-by-count":10,"title":["Verification of compiler correctness for the WAM"],"prefix":"10.1007","author":[{"given":"Cornelia","family":"Pusch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,4,29]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine, A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. MIT Press, Cambridge, Massachusetts, 1991."},{"key":"23_CR2","unstructured":"Krzysztof R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 10, pages 495\u2013574. Elsevier Science Publishers B.V., 1990."},{"key":"23_CR3","volume-title":"Princeton Series in Computer Science","author":"P. Boizumault","year":"1993","unstructured":"Patrice Boizumault. The Implementation of Prolog. Princeton Series in Computer Science. Princeton University Press, Princeton, New Jersey, 1993."},{"key":"23_CR4","unstructured":"E. B\u00f6rger and D. Rosenzweig. The WAM-Definition and Compiler Correctness. In C. Beierle and L. Pl\u00fcmer, editors, Logic Programming: Formal Methods and Practical Applications. Elsevier, 1994."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Saumya K. Debray and Prateek Mishra. Denotational and Operational Semantics for Prolog. J. Logic Programming, (5):61\u201391, 1988.","DOI":"10.1016\/0743-1066(88)90007-6"},{"key":"23_CR6","unstructured":"Yuri Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336. Oxford University Press, 1995."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994.","DOI":"10.1007\/BFb0030541"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"David M. Russinoff. A Verified Prolog Compiler for the Warren Abstract Machine. J. Logic Programming, (13):367\u2013412, 1992.","DOI":"10.1016\/0743-1066(92)90054-7"},{"key":"23_CR10","unstructured":"G. Schellhorn. Von PROLOG zur WAM-Compilerverifikation mit KIV. Talk at the annual meeting of the GI section \u201cLogic in Computer Science\u201d, Karlsruhe, Juni 1995."},{"key":"23_CR11","unstructured":"D. H. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, 1083."}],"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\/BFb0105415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T09:22:37Z","timestamp":1593249757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0105415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615873","9783540706410"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0105415","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}