{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:20Z","timestamp":1725619640645},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099376"},{"type":"electronic","value":"9783642676000"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/978-3-642-67600-0_10","type":"book-chapter","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T02:30:11Z","timestamp":1318300211000},"page":"125-142","source":"Crossref","is-referenced-by-count":5,"title":["OPTRAN, a Language for the Specification of Program Transformations"],"prefix":"10.1007","author":[{"given":"Ingrid","family":"Glasner","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"M\u00f6ncke","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6hm,C., Jacopini,G.: Flow Diagrams, Turing Machines, and Languages with Only Two Formation Rules, CACM, Vol. 19, No. 5, May 1966","DOI":"10.1145\/355592.365646"},{"key":"10_CR2","series-title":"Lec. Notes in Computer Science","volume-title":"Compiler Construction: An Advanced Course","author":"FL Remer de","year":"1974","unstructured":"de Remer,F.L.: Transformational Grammars, in F.L. Bauer, J. Eickel (Eds.) Compiler Construction: An Advanced Course, Lec. Notes in Computer Science 21, Springer Verlag, New York 1974"},{"key":"10_CR3","series-title":"Report","volume-title":"Modifizierte attributierte Grammatiken","author":"H Ganzinger","year":"1974","unstructured":"Ganzinger,H.: Modifizierte attributierte Grammatiken, Report No. 7420, Abt. Mathematik, Technische Universit\u00e4t M\u00fcnchen, 1974"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-09118-1_15","volume-title":"Theoretical Computer-Science, 4th GI Conference","author":"H Ganzinger","year":"1979","unstructured":"Ganzinger,H.: On storage optimization for automatically generated compilers. Theoretical Computer-Science, 4th GI Conference, K. Weihrauch (Ed.), Springer-Verlag, Berlin-Heidelberg-New York, March 1979, pp. 132\u2013141"},{"key":"10_CR5","unstructured":"Ganzinger,H.: ADELE: An Attribute Definition Language, TUM-INFO, Inst, f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, in preparation"},{"key":"10_CR6","series-title":"TUM-INFO-7913","volume-title":"Introduction to the Compiler Generating System MUG2","author":"R Giegerich","year":"1979","unstructured":"Giegerich,R.: Introduction to the Compiler Generating System MUG2, TUM-INFO-7913, Inst, f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1979"},{"key":"10_CR7","first-page":"535","volume-title":"Information Processing 77","author":"H Ganzinger","year":"1977","unstructured":"Ganzinger, H., Ripken, K., Wilhelm, R.: Automatic Generation of Optimizing Multipass Compilers, in B. Gilchrist, (Ed.): Information Processing 77, pp. 535\u2013540, North Holland, 1977"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth,D.E.: Semantics of Context-free Languages, Math. Systems Theory, Vol. 2, No. 2, pp. 127\u2013145, 1968","journal-title":"Math. Systems Theory"},{"key":"10_CR9","volume-title":"Ph.D. Thesis, Univ. of California at Santa Cruz","author":"HH Kr\u00f6n","year":"1975","unstructured":"Kr\u00f6n,H.H.: Tree Templates and Subtree Transformational Grammars, Ph.D. Thesis, Univ. of California at Santa Cruz, 1975"},{"key":"10_CR10","volume-title":"Program Improvement by Source to Source Transformations","author":"DB Loveman","year":"1976","unstructured":"Loveman,D.B.: Program Improvement by Source to Source Transformations, Conf. Record of the 3rd ACM Symposium on Principles of Programming Languages, 1976"},{"key":"10_CR11","series-title":"Dipl.-Arbeit","volume-title":"Transformations-Grammatiken: Automatische Generierung des Analysators","author":"U M\u00f6ncke","year":"1977","unstructured":"M\u00f6ncke,U.: Transformations-Grammatiken: Automatische Generierung des Analysators. Dipl.-Arbeit, FB Mathematik, TU M\u00fcnchen, 1977"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"BK Rosen","year":"1973","unstructured":"Rosen,B.K.: Tree-manipulating Systems and Church-Rosser Theorems, JACM, Vol. 20, No. 1, pp. 160\u2013187, 1973","journal-title":"JACM"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Rosen,B.K.: High Level Data Flow Analysis, CACM, Vol. 20, No. 10, pp. 712\u2013724, Oct. 77","DOI":"10.1145\/359842.359849"},{"key":"10_CR14","volume-title":"The Irvine Program Transformation Catalogue","author":"TA Standish","year":"1976","unstructured":"Standish,T.A., Harriman,D.C., Kibler,D.F., Neighbors,J.M.: The Irvine Program Transformation Catalogue, University of California at Irvine, 1976"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-662-40087-6_21","volume":"26","author":"R Wilhelm","year":"1974","unstructured":"Wilhelm,R.: Code-Optimierung mittels attributierter Transformationsgrammatiken, Lec. Notes in Comp. Science 26, pp. 257\u2013266, Springer-Verlag, 1974","journal-title":"Lec. Notes in Comp. Science"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00264579","volume":"12","author":"R Wilhelm","year":"1979","unstructured":"Wilhelm,R.: Computation and Use of Data Flow Information in Optimizing Compilers, Acta Informatica, Vol. 12, pp. 209\u2013225, 1979","journal-title":"Acta Informatica"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67600-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T16:53:53Z","timestamp":1606236833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67600-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099376","9783642676000"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67600-0_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1980]]}}}