GI 6. Jahrestagung

The 6th annual congress of the Gesellschaft fUr Informatik was intended - to convey the current state of the art in various areas of Computer Science; a number of well-known experts were invited for that purpose, - to publish original scientific papers from all fields of Computer SCience, and - to inform about ongoing projects, (partial-) results, special activities e.t.c. The members of the Program Committee E.J. Neuhold (Chairman), Stuttgart A. Blaser, Heidelberg R. Dierstein, Oberpfaffenhofen A. Endres, Sindelfingen L. Hieber, Stuttgart H. Maurer, Karlsruhe H.H. Nagel, Hamburg H.J. Schneider, Erlangen N. Szyperski, Koln E. Voge, Wolfsburg with the extremely valuable help of the referees listed below have tried to select from the many papers submitted to the conference those which contain the most interesting and important results. Special emphasis was to he given to the papers on de velopment experience and use of application systems. Unfor tunately in these areas only very few papers have been submitted and as a consequence the longe range goal of the Gesellschaft fUr Informatik to attract application oriented persons has not been achieved.

Inhalt
Main Lectures.- An Evaluation of Several System Protection Strategies.- Distributed Congestion Control in a Packet Network: The Channel Load Limiter.- ADV Systementwicklung und Organisation der Aufgabenerfüllung.- Anwendungen der graphischen Datenverarbeitung.- Formal Languages, Syntactic Analysis, Semantic, Language Models.- Some Aspects of Random Context Grammars.- Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler verwenden.- Canonical Bottom-up-Parsing.- Top Down Parsing of Macro Grammars.- How Program Statements Transform Predicates.- Program Proving: Exit and Return Jumps in Structured Programs.- Language Representation Based on Abstract Syntax.- On the Complexity of Decision Problems for Classes of Simple Programs on Strings.- Programming languages. Survey.- Developments in Compiler Writing Systems.- Programming Languages.- Structured Development of a Computer Aided Design System.- Änderungsfreundlichkeit kommerzieller Anwendungsprogramme.- Data Bases.- An Optimal Evaluation of Boolean Expressions in an On-Line Query System.- The User Specialty Languages System.- Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen Datenelementen.- Interactive Data Manipulation and Data Analysis.- A General Application Guidance System.- Die Überprüfung von semantischen Integritätsbedingungen in Datenbanksystemen.- Data Structures.- Binary Search Trees: Average and Worst Case Behavior.- Neueintragung in binären Suchbäumen durch Verdrängung.- Operating Systems.- Zum optimalen Multiprogramming-Grad bei streuender Programm-Größe.- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-Umgebung.- On the Relationship of Sector References, Sector Placement and Paging Performance.- Über eineKostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und Hauptspeicherbelegung.- The Complexity of Scheduling Algorithms for Three-Processor Systems.- A Model of Process Coordination in Distributed Computer Systems.- Systematic Installation Management (An IMMT Report).- Artificial Intelligence.- Understanding LISP-Programs is Improving LISP-Programs.- Maschinelle symbolische Lösung von Differentialgleichungen.- Hardware.- Asynchronous Interlock Units for Speed-Independent Multiprocessor Systems.- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache Mimola.