ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

The widespread use of object-oriented languages and Internet security concerns are just the beginning. Add embedded systems, multiple memory banks, highly pipelined units operating in parallel, and a host of other advances and it becomes clear that current and future computer architectures pose immense challenges to compiler designers-challenges th

As an outcome of the author's many years of study, teaching, and research in the field of Compilers, and his constant interaction with students, this well-written book magnificently presents both the theory and the design techniques used in Compiler Designing. The book introduces the readers to compilers and their design challenges and describes in detail the different phases of a compiler. The book acquaints the students with the tools available in compiler designing. As the process of compiler designing essentially involves a number of subjects such as Automata Theory, Data Structures, Algorithms, Computer Architecture, and Operating System, the contributions of these fields are also emphasized. Various types of parsers are elaborated starting with the simplest ones such as recursive descent and LL to the most intricate ones such as LR, canonical LR, and LALR, with special emphasis on LR parsers. The new edition introduces a section on Lexical Analysis discussing the optimization techniques for the Deterministic Finite Automata (DFA) and a complete chapter on Syntax-Directed Translation, followed in the compiler design process. Designed primarily to serve as a text for a one-semester course in Compiler Design for undergraduate and postgraduate students of Computer Science, this book would also be of considerable benefit to the professionals. KEY FEATURES • This book is comprehensive yet compact and can be covered in one semester. • Plenty of examples and diagrams are provided in the book to help the readers assimilate the concepts with ease. • The exercises given in each chapter provide ample scope for practice. • The book offers insight into different optimization transformations. • Summary, at end of each chapter, enables the students to recapitulate the topics easily. TARGET AUDIENCE • BE/B.Tech/M.Tech: CSE/IT • M.Sc (Computer Science)

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl ̈asser and G. del Castillo (on the topic \Specifying Concurrent Systems with ASMs"), H. Russ ̈ and N. Shankar (on the topic \A Tutorial Introduction to PVS"), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic \Developing Domain Speci c Languages"). In response to the organization committee’s call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.

The 1992 Parallel Architectures and Languages Europe conference continues the tradition - of a wide and representative international meeting of specialists from academia and industry in theory, design, and application of parallel computer systems - set by the previous PARLE conferences held in Eindhoven in 1987, 1989, and 1991. This volume contains the 52 regular and 25 poster papers that were selected from 187 submitted papers for presentation and publication. In addition, five invited lectures areincluded. The regular papers are organized into sections on: implementation of parallel programs, graph theory, architecture, optimal algorithms, graph theory and performance, parallel software components, data base optimization and modeling, data parallelism, formal methods, systolic approach, functional programming, fine grain parallelism, Prolog, data flow systems, network efficiency, parallel algorithms, cache systems, implementation of parallel languages, parallel scheduling in data base systems, semantic models, parallel data base machines, and language semantics.