This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003. This series of workshops is designed to strengthen the cooperation between the German and Chinese institutions active in the area of these technologies. It has continued to grow, providing an excellent forum for reporting advances in parallel processing technologies. The 5th workshop itself addressed the entire gamut of related topics, ranging from the architectural aspects of parallel computer hardware and system software to the applied technologies for novel applications. For this workshop, we received over 191 full submissions from researchers all over the world. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi?cance, presentation, and the overall appropriateness for their acceptance. Any concerns raised were discussed in the program committee. The organizing committee did an excellent job in selecting 78 papers (Among them, 21 were short ones) for presentation. In short, the papers included here represent the forefront of research from China, Germany, and the other countries.

ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory 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 comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment 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."

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.

Dieses Buch entstand aus Skripten, die zur Lehrveranstaltung OBERSETZERBAU im Fachbereich Infonnatik der Technischen Universitat Berlin angefertigt wurden. Die Lehrveranstaltung wird seit 1972 durchgeflihrt und wurde als ein Beitrag zur Neuordnung des Informatik Studiums (NORIS) konzipiert. Sie basiert auf dem im Rahmen dieses Konzeptes entwickelten Grundstudium Infonnatik und ist fur Studenten im Hauptstudium gedacht, die Interesse an Programmiersprachen und ihren Obersetzern haben. Der Konzeption der Lehrveranstaltung OBERSETZERBAU liegt das Ziel zugrunde, die wesentlichen Methoden des Obersetzerbaus projektbezogen zu vennitteln. Deshalb wird der grOOte Teil der Lehrveranstaltung dazu benutzt, einen Obersetzer fUr eine kleine Sprache zu implementieren. Auf diese Weise werden nicht nur die Konzepte am wirkungsvollsten vennittelt, sondern die Teilnehmer sammeln auch praktische Erfahrungen an einem grooeren Softwareprodukt, die ihnen fUr die spatere Berufspraxis sehr nUtzlich sind. Wir danken allen, die im Rahmen von NORIS am Aufbau des Studienganges Infor- matik mitgearbeitet haben. Insbesondere danken wir auch denen, die in den ver- gangenen Jahren aktiv an der Gestaltung der Lehrveranstaltung mitgewirkt haben, aber auch den Studenten, die teilgenommen haben und durch ihre Kritik die Weiterentwicklung der Lehrveranstaltung unterstUtzt haben. Vor allern aber mochten wir Frau Gabriele Ambach danken, die das Manuskript sehr sorgfaItig angefertigt hat und trotz zahlreicher Xnderungen alle Arbeiten mit viel Geduld erledigt hat.