{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:32:03Z","timestamp":1725622323841},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076193"},{"type":"electronic","value":"9783642663192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/978-3-642-66319-2_4","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T20:27:15Z","timestamp":1318969635000},"page":"33-42","source":"Crossref","is-referenced-by-count":1,"title":["Ein Algebraischer Ansatz f\u00fcr Kompilerkorrektheitsbeweise"],"prefix":"10.1007","author":[{"given":"Hartmut","family":"Schmeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G Birkhoff","year":"1970","unstructured":"Birkhoff, G., Lipson, J.D.: Heterogeneous Algebras. J. Comb. Theory 8, 115\u2013133 (1970)","journal-title":"J. Comb. Theory"},{"key":"4_CR2","first-page":"17","volume":"4","author":"RM Burstall","year":"1969","unstructured":"Burstall, R.M., Landin,P.J.: Programs and their Proofs: an Algebraic Approach. Mach. Int. 4, 17\u201343 (1969)","journal-title":"Mach Int"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/942578.807068","volume":"7","author":"RM Burstall","year":"1972","unstructured":"Burstall, R.M.: An Algebraic Description of Programs with Assertions, Verification, and Simulation. SIGPLAN Notices 7, 1, 7\u201314 (1972)","journal-title":"SIGPLAN Notices"},{"key":"4_CR4","volume-title":"Grundlagen einer Theorie der Programmiersprachen. Berichte des Inst. f. Angew. Math","author":"G Hotz","year":"1970","unstructured":"Hotz, G.: Grundlagen einer Theorie der Programmiersprachen. Berichte des Inst. f. Angew. Math, u. Inform. Universit\u00e4t des Saarlandes, Saarbr\u00fccken, (1970)"},{"key":"4_CR5","first-page":"99","volume":"5","author":"PJ Landin","year":"1970","unstructured":"Landin, P.J.: A Program Machine Symmetric Automata Theory. Mach. Int. 5, 99\u2013120 (1970)","journal-title":"Int"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Morris, F.L.: Correctness of Translations of Programming Languages. AIM 174, Stanford University, (1972)","DOI":"10.21236\/ADA954771"},{"key":"4_CR7","volume-title":"Korrektheit von \u00dcbersetzungen. Bericht Nr. 3\/75 des Inst. f. Inform, u. Prakt","author":"H Schmeck","year":"1975","unstructured":"Schmeck, H.: Korrektheit von \u00dcbersetzungen. Bericht Nr. 3\/75 des Inst. f. Inform, u. Prakt. Math., Universit\u00e4t Kiel, (1975)"}],"container-title":["Informatik-Fachberichte","Programmiersprachen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-66319-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:50:32Z","timestamp":1606254632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-66319-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076193","9783642663192"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-66319-2_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1976]]}}}