{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:23:56Z","timestamp":1725629036252},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540112044"},{"type":"electronic","value":"9783642683558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68355-8_14","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T15:03:00Z","timestamp":1320246180000},"page":"177-190","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model of Instruction Set Semantics"],"prefix":"10.1007","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Computer Structures","author":"[BeN7H C.G. Bell, A. Newell","year":"1971","unstructured":"BeN7H C.G. Bell, A. Newell: Computer Structures: Readings and Examples, McGraw-Hill, 1971"},{"key":"14_CR2","volume-title":"Formalization and Automatic Derivation of Code Generators, Report CMU-CS-78-115","author":"RGG Cattell","year":"1978","unstructured":"R.G.G. Cattell: Formalization and Automatic Derivation of Code Generators, Report CMU-CS-78-115, Carnegie Mellon University, Pittsburgh 1978"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot: Systematic Design of Program Analysis Frameworks, Proceedings of 6th ACM Symposium on Principles of Programming Languages, 1979, pp. 269\u2013282","DOI":"10.1145\/567752.567778"},{"key":"14_CR4","volume-title":"Some Principles for the Development of Compiler Descriptions from Denotational Language Definitions","author":"H Ganzinger","year":"1980","unstructured":"H. Ganzinger: Some Principles for the Development of Compiler Descriptions from Denotational Language Definitions, TUM-INFO 8006, Institut f\u00fcr Informatik, Technical University Munich, 1980"},{"key":"14_CR5","unstructured":"Gie81] R. Giegerich: Automatische Erzeugung von Maschinencode-Optimierern, TUM-I8112, Institut f\u00fcr Informatik, Technical University Munich, 1981 (an English summary appears in [Gie82])"},{"key":"14_CR6","volume-title":"Proceedings of 9th ACM Symposium on Principles of Programming Languages","author":"R Giegerich","year":"1982","unstructured":"R. Giegerich: Automatic Generation of Machine Specific Code Optimizers, Proceedings of 9th ACM Symposium on Principles of Programming Languages, 1982"},{"key":"14_CR7","volume-title":"A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers, Technical report UCB-CS-78-01","author":"RS Glanville","year":"1978","unstructured":"R.S. Glanville: A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers, Technical report UCB-CS-78-01, University of California, Berkeley 1978"},{"key":"14_CR8","volume-title":"Retargetable Code Generation and Optimization Using Attribute Grammars, Computer sciences technical report #406","author":"M Ganapathi","year":"1980","unstructured":"M. Ganapathi: Retargetable Code Generation and Optimization Using Attribute Grammars, Computer sciences technical report #406, University of Wisconsin, Madison, 1980"},{"key":"14_CR9","unstructured":"Hil80] W. Hilf, Motorola Munich, private communication"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"W.M. McKeeman: Peephole Optimization, CACM 8,7, 1965, pp. 443\u2013444","DOI":"10.1145\/364995.365000"},{"key":"14_CR11","unstructured":"Motorola Inc.: MC68000 16 Bit Microprocessor, User Manual, 1979"},{"key":"14_CR12","first-page":"38","volume-title":"IEEE Computer","author":"BW Leverett","year":"1980","unstructured":"B.W. Leverett, R.G.G. Cattell, S.O. Hobbs, J.M. Newcomer, A.H. Reiner, B.R. Schatz, W.A. Wulf: An Overview of the Production Quality Compiler-Compiler Project, IEEE Computer, Aug. 1980, pp. 38\u201349"},{"key":"14_CR13","volume-title":"Formale Beschreibung von Maschinen, Implementierungen und optimie- render Maschinencodeerzeugung aus attributierten Programm-graphen","author":"K Ripken","year":"1977","unstructured":"K. Ripken: Formale Beschreibung von Maschinen, Implementierungen und optimie- render Maschinencodeerzeugung aus attributierten Programm-graphen, TUM-INFO 7731. Institut f\u00fcr Informatik, Technical University Munich, 1977"},{"key":"14_CR14","volume-title":"Erarbeitung einer Hierarchie von Schnittstellen f\u00fcr die Codeerzeugung f\u00fcr verschiedene Microcomputer, Diplomarbeit","author":"W Sch\u00fcrer","year":"1979","unstructured":"W. Sch\u00fcrer: Erarbeitung einer Hierarchie von Schnittstellen f\u00fcr die Codeerzeugung f\u00fcr verschiedene Microcomputer, Diplomarbeit, Institut f\u00fcr Informatik, Technical University Munich, 1979"},{"key":"14_CR15","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"JE Stoy","year":"1977","unstructured":"J.E. Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge (Mass. ), 1977"},{"key":"14_CR16","volume-title":"F.L. Bauer, J. Eickel (eds.): Compiler Construction \u2014 An Advanced Course, Lecture Notes in Computer Science No. 25, Springer","author":"WM Waite","year":"1974","unstructured":"W.M. Waite: Code Generation, in: F.L. Bauer, J. Eickel (eds.): Compiler Construction \u2014 An Advanced Course, Lecture Notes in Computer Science No. 25, Springer 1974"},{"key":"14_CR17","volume-title":"The Design of an Optimizing Compiler","author":"WA Wulf","year":"1975","unstructured":"W.A. Wulf, R.K. Johnsson. C.B. Weinstock, S.O. Hobbs, C.M. Geschke: The Design of an Optimizing Compiler, American Elsevier, New York 1975"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68355-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:19Z","timestamp":1606256899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68355-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540112044","9783642683558"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68355-8_14","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}