{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:53:07Z","timestamp":1759146787496},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513643"},{"type":"electronic","value":"9783540462002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51364-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:57:00Z","timestamp":1330203420000},"page":"52-65","source":"Crossref","is-referenced-by-count":16,"title":["OPTRAN - A language\/system for the specification of program transformations: System overview and experiences"],"prefix":"10.1007","author":[{"given":"Peter","family":"Lipps","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"M\u00f6ncke","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","unstructured":"Badt, P., P. Raber, and U. M\u00f6ncke, Attributation Schemata for List-Structured Nodes, ESPRIT: PROSPECTRA Project Report S.1.3-R-1.0, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1985."},{"key":"4_CR2","unstructured":"Badt, P., P. Raber, and U. M\u00f6ncke, Specification of Recursive Patterns, ESPRIT: PROSPECTRA Project Report S.1.6-SN-4.0, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1986."},{"key":"4_CR3","unstructured":"B\u00f6rstler, J., U. M\u00f6ncke, and R. Wilhelm, Table Compression for Tree Automata, Aachener Informatik Berichte No. 87-12, RWTH Aachen, Fachgruppe Informatik, Aachen, 1987."},{"key":"4_CR4","volume-title":"OPTRAN \u2014 Ein System zur Generierung von Baumtransformatoren: Rekursive Schablonen und Listenkonstrukte","author":"P. Badt","year":"1986","unstructured":"Badt, P., OPTRAN \u2014 Ein System zur Generierung von Baumtransformatoren: Rekursive Schablonen und Listenkonstrukte, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Eulenstein, M., POCO \u2014 Ein portables System zur Generierung portabler Compiler, Informatik Fachberichte 164,1988.","DOI":"10.1007\/978-3-642-73431-1"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Farrow, R. and D. Yellin, A Comparison of Storage Optimizations in Automatically-Generated Attribute Evaluators, Acta Informatica 23(4),Springer-Verlag, 1986.","DOI":"10.1007\/BF00267865"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Glasner, I., U. M\u00f6ncke, and R. Wilhelm, OPTRAN \u2014 A Language for the Specification of Program Transformations, pp. 125\u2013142 in Informatik Fachberichte, 7th GI Workshop on Programming Languages and Program Development, Springer-Verlag, 1980.","DOI":"10.1007\/978-3-642-67600-0_10"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Giegerich, R., U. M\u00f6ncke, and R. Wilhelm, Invariance of Approximative Semantics with respect to Program Transformations, pp. 1\u201310 in 11. GI Fachtagung f\u00fcr Programmiersprachen und Programmentwicklung,Informatik Fachberichte 50,, Springer-Verlag, 1981.","DOI":"10.1007\/978-3-662-01089-1_1"},{"key":"4_CR9","volume-title":"POPSY and OPTRAN-Manual","author":"M. Greim","year":"1986","unstructured":"Greim, M., St. Pistorius, M. Solsbacher, and B. Weisgerber, POPSY and OPTRAN-Manual, ESPRIT: PROSPECTRA-Project Report, S.1.6-R-3.0, Technical Report No. A 08\/86, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF00289494","volume":"23","author":"R. Heckmann","year":"1986","unstructured":"Heckmann, R., An efficient ELL(1)-Parser Generator, Acta Informatica 23, pp. 127\u2013148, 1986.","journal-title":"Acta Informatica"},{"key":"4_CR11","series-title":"Technical Report","volume-title":"Manual for the ELL(2)-Parser Generator and Tree Generator Generator","author":"R. Heckmann","year":"1986","unstructured":"Heckmann, R., Manual for the ELL(2)-Parser Generator and Tree Generator Generator, Technical Report No. A 05\/86, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Heckmann, R., A Functional Language for the Specification of Complex Tree Transformations, Proceedings of the 2nd European Symposium on Programming (ESOP'88), LNCS 300,, pp. 175\u2013190, Springer-Verlag","DOI":"10.1007\/3-540-19027-9_12"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Hoover, R., Dynamically Bypassing Copy Rule Chains in Attribute Grammars, ACM Symposium on Principles of Programming Languages, January 1986.","DOI":"10.1145\/512644.512646"},{"key":"4_CR14","volume-title":"Source-to-source-Transformationen: Eine Studie des Compiler-Generierenden Systems OPTRAN anhand eines SPL4\u2192C-Compilers","author":"G. Horsch","year":"1988","unstructured":"Horsch, G., Source-to-source-Transformationen: Eine Studie des Compiler-Generierenden Systems OPTRAN anhand eines SPL4\u2192C-Compilers, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR15","volume-title":"An OPTRAN generated Ada\u2192DIANA frontend","author":"P. Keller","year":"1988","unstructured":"Keller, P. and Th. Maas, An OPTRAN generated Ada\u2192DIANA frontend, Technical Report (forthcoming), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Kennedy, K. and S.K. Warren, Automatic Generation of Efficient Evaluators for Attribute Grammars, Conf. Record of 3rd Symposium on Principles of Programming Languages,, pp. 32\u201349, 1976.","DOI":"10.1145\/800168.811538"},{"key":"4_CR17","volume-title":"Spezifikation und Implementierung eines Compilerfrontends f\u00fcr Ada: Deklarations-und Nameclassanalyse","author":"P. Keller","year":"1988","unstructured":"Keller, P., Spezifikation und Implementierung eines Compilerfrontends f\u00fcr Ada: Deklarations-und Nameclassanalyse, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR18","unstructured":"Lipps, P., M. Olk, U. M\u00f6ncke, and R. Wilhelm, Attribute (Re)evaluation in OPTRAN, ESPRIT: PROSPECTRA Project Report S.1.3-R-5.0, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1987. (to be published in Acta Informatica)"},{"key":"4_CR19","unstructured":"Lipps, P., OPTRAN: A Language\/System for the Specification of Program Transformations \u2014 Annotated Bibliography, Internal Report, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1988."},{"key":"4_CR20","volume-title":"Komplexe Attribute \u2014 Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System","author":"P. Lipps","year":"1986","unstructured":"Lipps, P., Komplexe Attribute \u2014 Mechanismen zur Verwaltung und Berechnung in einem baumtransformierenden System, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR21","first-page":"177","volume-title":"Iterative algorithms on grammar graphs","author":"U. M\u00f6ncke","year":"1983","unstructured":"M\u00f6ncke, U. and R. Wilhelm, Iterative algorithms on grammar graphs, pp. 177\u2013194 in Proc. 8th Conference on Graphtheoretic Concepts in Computer Science, ed. H.J. Schneider, H. Goettler, Hanser Verlag, M\u00fcnchen, 1983."},{"key":"4_CR22","first-page":"112","volume-title":"How to implement a system for manipulation of attributed trees","author":"U. M\u00f6ncke","year":"1984","unstructured":"M\u00f6ncke, U., B. Weisgerber, and R. Wilhelm, How to implement a system for manipulation of attributed trees, pp. 112\u2013127 in Informatik Fachberichte, 8th GI Workshop on Programming Languages and Program Development, Springer-Verlag, Z\u00fcrich, March 1984."},{"key":"4_CR23","first-page":"511","volume-title":"ESPRIT: Status Report of Continuing Work","author":"U. M\u00f6ncke","year":"1986","unstructured":"M\u00f6ncke, U., B. Weisgerber, and R. Wilhelm, Generative support for transformational programming, pp. 511\u2013527 in ESPRIT: Status Report of Continuing Work, Elsevier Sc., Brussels, 1986."},{"key":"4_CR24","volume-title":"Generierung von Systemen zur Transformation attributierter Operatorb\u00e4ume \u2014 Komponenten des Systems und Mechanismen der Generierung","author":"U. M\u00f6ncke","year":"1985","unstructured":"M\u00f6ncke, U., Generierung von Systemen zur Transformation attributierter Operatorb\u00e4ume \u2014 Komponenten des Systems und Mechanismen der Generierung, Ph.D. Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1985."},{"key":"4_CR25","unstructured":"M\u00f6ncke, U., Grammar Flow Analysis, ESPRIT: PROSPECTRA-Project Report S.1.3-R-2.1, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1986. (submitted for publication)"},{"key":"4_CR26","volume-title":"Production Local Attributes","author":"U. M\u00f6ncke","year":"1986","unstructured":"M\u00f6ncke, U., Production Local Attributes, ESPRIT: PROSPECTRA-Project Study Notes, S.1.3-SN-3.0, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR27","unstructured":"M\u00f6ncke, U., Simulating Automata for Weighted Tree Reductions, ESPRIT: PROSPECTRA-Project Report S.1.6-R-5.1 and Technical Report No. A 10\/87, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, 1987."},{"key":"4_CR28","volume-title":"Spezifikation und Implementierung eines Compilerfrontends f\u00fcr Ada: Aufl\u00f6sung der \u00dcberladung und Erzeugung von DIANA","author":"T. Mass","year":"1988","unstructured":"Mass, T., Spezifikation und Implementierung eines Compilerfrontends f\u00fcr Ada: Aufl\u00f6sung der \u00dcberladung und Erzeugung von DIANA, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR29","volume-title":"Generierung eines effizienten Attributschedulers f\u00fcr ein baumtransformierendes System","author":"M. Olk","year":"1986","unstructured":"Olk, M., Generierung eines effizienten Attributschedulers f\u00fcr ein baumtransformierendes System, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR30","volume-title":"Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren","author":"P. Raber","year":"1986","unstructured":"Raber, P., Listenkonstrukte und ihre Attributierung in einem System zur Generierung von Baumtransformatoren, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR31","volume-title":"Registerverteilung und Codeselektion f\u00fcr wechselnde Zielmaschinen","author":"T. Rauber","year":"1986","unstructured":"Rauber, Th., Registerverteilung und Codeselektion f\u00fcr wechselnde Zielmaschinen, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR32","unstructured":"Reps, Th., Generating Language-Based Environments, Ph.D. Thesis, Cornell University, 1982."},{"key":"4_CR33","series-title":"Internal Report","volume-title":"OPTRAN'82-Manual","author":"M. Schmigalla","year":"1982","unstructured":"Schmigalla, M., A. Sch\u00fctte, and B. Weisgerber, OPTRAN'82-Manual, Internal Report, FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, December 1982."},{"key":"4_CR34","volume-title":"Ein Konzept zur Bibliotheksverwaltung von Transformationseinheiten und deren Hintereinanderschaltung","author":"W. Thome","year":"1988","unstructured":"Thome, W., Ein Konzept zur Bibliotheksverwaltung von Transformationseinheiten und deren Hintereinanderschaltung, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR35","volume-title":"Attributauswertung f\u00fcr zyklische Attributierung","author":"E. Tieser","year":"1988","unstructured":"Tieser, E., Attributauswertung f\u00fcr zyklische Attributierung, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1988."},{"key":"4_CR36","volume-title":"Effiziente Attributspeicherverwaltung f\u00fcr ein baumtransformierendes System","author":"H. Tittelbach","year":"1986","unstructured":"Tittelbach, H., Effiziente Attributspeicherverwaltung f\u00fcr ein baumtransformierendes System, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1986."},{"key":"4_CR37","volume-title":"Attributierte Transformationsgrammatiken: Die Baumanalyse und Untersuchungen zu Transformationsstrategien","author":"B. Weisgerber","year":"1983","unstructured":"Weisgerber, B., Attributierte Transformationsgrammatiken: Die Baumanalyse und Untersuchungen zu Transformationsstrategien, Diploma Thesis (in german), FB 10 \u2014 Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1983."},{"key":"4_CR38","doi-asserted-by":"crossref","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 12, pp. 209\u2013225, Springer-Verlag, 1979.","journal-title":"Acta Informatica"},{"issue":"3","key":"4_CR39","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0020-0190(81)90110-1","volume":"12","author":"R. Wilhelm","year":"1981","unstructured":"Wilhelm, R., A Modified Tree-To-Tree Correction Problem, Information Processing Letters 12(3), pp. 127\u2013132, North-Holland, 1981.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Compiler Compilers and High Speed Compilation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51364-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:15Z","timestamp":1605648075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51364-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513643","9783540462002"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-51364-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}