Lecture Notes in Computer Science

Transcription

1 Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis 371 I D. Hammer (Ed.) Compiler Compilers and High Speed Compilation 2rid CCHSC Workshop Berlin, GDR, October 10-14, 1988 Proceedings Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo HongKong

2 Editorial Board D, Barstow W. Brauer R Brinch Hansen D, Gries D. Luckham C. Moler A. Pnueli G. Seegmi~ller J. Stoer N. Wirth Volume Editor Dieter Hammer Institut fur Informatik und Rechentechnik der Akademie der Wissenschaften der DDR Rudower Chaussee 5, DDR-1199 Berlin, GDR CR Subject Classification (1987): D.2.6, D.3.1, D.3.4, E4.2, ISBN Springer-Verlag Berlin Heidelberg New York ISBN Springer-Vertag New York Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24, 1985, and a copyrkjht fee must always be paid. Violations fall under the prosecution act of the German Copyright Law. Springer-Verlag Berlin Heidelberg 1989 Printed in Germany Printing and binding: Druckhaus Beltz, Hemsbach/Bergatr. 2145/ Printed on acid-free paper

3 PREFACE Advances and problems in the field of compiler generation are considered for the series of the 2-years workshop on Compiler Compilers. The first workshop especially dealt with Compiler Compilers and Incremental Compilation in The second workshop on Compiler Compilers and High Speed Compilation was held in Berlin, October 10-14, Four invited talks were given by P. Deransart (Orleans): Current trends in Attribute Grammars (see Lecture Notes 323), W. ASmann (Berlin): A Short Review of High Speed Compilation, P. Fritzson (Link6ping): Incremental Symbol Processing, K. Koskimies (Helsinki): Software Engineering Aspects in Language Implementation. Also, 15 other communications were chosen among 41 submissions by the program committee together with the chairmen of the single sessions. The referees were: P. Deransart (Orleans), P. Fritzson (Link~ping), D. Hammer (Berlin), K. Koskimies (Helsinki), H. Loeper (Dresden), O. Mayer (Kaiserslautern), J. Penjam (Talfinn), K. J. R~ih~ (Tampere), G. Riedewald (Rostock), V.A. Serebriakov (Moscov), R. Wilhelm (Saarbr~cken). The workshop submissions presented a wide scale of aspects concerning improvings in the construction of compilers and higher efficiency in software development by means of new results in research and experiences from implemented complex design tools~ The interesting panel discussion "High Speed Compilation - a research task?" considered different points of view: Compiler design and (partly) improvings, user process of software development - efficient compilation, incremental compilation with error messages arid error corrections for saving time during software development, intelligent compilation and automatic program construction, high speed compilation and high quality compiler components, and other. There were some pros and cons in answering the question. Summarizing, high speed compilation was pointed out a research task (algorithm, compiler generation) as well as an engineering task (tuning, smart implementation). Berlin, May 1989 Dieter Hammer

4 Contents W. A.Oma~r~ (Invited Paper) A Short Review of High Speed Compilation P. Fritz~on (Invited Paper) Incremental Symbol Processing K. Kostdmie8 (Invited Paper) Software Engineering Aspects in L~uguage Implementation!I 39 P. Lipp~; U. M6r~cke; R. Wilhelm OPTRAN -- A Language/System for the Specification of Program Transformations: System Overview and Experiences. 52 J. Penjam Compiler Construction by Object-Orlented System NUT J. Grosch Generators for High-Speed Front-Ends 81 T. Gyim6thy; T. Horrdth; F. Kocsis; Y. Toczki Incremental Algorithms in PROF-LP 93 U. Kaster, e Abstract Interf~es for Compiler Generating Tools 103 M. Albino: W. A~maan The INDIA Lexic Generator 115

5 VI R.N. Honpool ILALR: An Incremental Generator of LALR(1) Parsers 128 M.R. Levy Type Checking in the Large 137 J. Tarhio A Compiler Generator for Attribute Evaluation During LR Parsing 146 H. AIblas Attributed Tree Transformations with Delayed and Smart Re-Evaluation 160 G. Hedin Incremental Attribute Evaluation with Side-effects 175 A. Poetzseh-He~er Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC 190 P. Kroha Code Generation for a RISC Machine 204 B. Weisgerber; R. Wilhelm Two Tree Pattern Marchers for Code Selection 215 K.A. Mughal Generation of Incremental Indirect Threaded Code for Language-based Programming Environments 230