Abstract is missing.
- An Evaluation of Several System Protection StrategiesGeorge Radin. 1-15
- Distributed Congestion Control in a Packet Network: The Channel Load LimiterLouis Pouzin. 16-21
- ADV - Systementwicklung und Organisation der AufgabenerfüllungP. Schmitz. 22-42
- Anwendungen der graphischen DatenverarbeitungJosé L. Encarnação. 43-62
- Some Aspects of Random Context GrammarsGrzegorz Rozenberg, Sebastiaan H. von Solms. 63-75
- Zur Analysenkomplexität von Grammatiken und Pushdown-Akzeptoren, die Hilfszähler verwendenJ. Albert, W. Erni. 76-85
- Canonical Bottom-up-ParsingOtto Mayer. 86-94
- Top Down Parsing of Macro GrammarsManfred Heydthausen, Kurt Mehlhorn. 95-108
- How Program Statements Transform PredicatesLeendert Ammeraal. 109-120
- Program Proving: Exit and Return Jumps in Structured ProgramsGiorgio De Michelis, Gaetano Aurelio Lanzarone, Carla Simone. 121-132
- Language Representation Based on Abstract SyntaxHans Diel. 133-147
- On the Complexity of Decision Problems for Classes of Simple Programs on StringsGiorgio Ausiello, Marina Moscarini. 148-163
- Developments in Compiler Writing SystemsKari-Jouko Räihä, Mikko Saarinen. 164-178
- Structured Development of a Computer Aided Design SystemEliezer Kantorowitz. 179-194
- Änderungsfreundlichkeit kommerzieller AnwendungsprogrammeHubert Österle. 195-210
- An Optimal Evaluation of Boolean Expressions in an On-Line Query SystemMichael Z. Hanani. 211-220
- The User Specialty Languages SystemR. Kogon, Dieter Lattermann, Hubert Lehmann, Nikolaus Ott, Magdalena Zoeppritz. 221-235
- Die Bestimmung optimaler Operationsfolgen zur Konversion von Dateien mit mehrfach vorhandenen DatenelementenM. Deck, Theo Härder, J. Reus. 236-250
- Interactive Data Manipulation and Data AnalysisR. Hartwig. 251-266
- A General Application Guidance SystemR. Erbe, Georg Walch. 267-281
- Die Überprüfung von semantischen Integritätsbedingungen in DatenbanksystemenHartmut Wedekind. 282-300
- Binary Search Trees: Average and Worst Case BehaviorReiner Güttler, Kurt Mehlhorn, Wolfgang Schneider, Norbert Wernet. 301-313
- Neueintragung in binären Suchbäumen durch VerdrängungC. Pokorny. 314-326
- Zum optimalen Multiprogramming-Grad bei streuender Programm-GrößeBernhard Walke. 327-342
- Zeitgerechte Prozessorzuteilung in einer harten Realzeit-UmgebungR. Henn. 343-359
- On the Relationship of Sector References, Sector Placement and Paging PerformanceDonald R. Innes. 360-372
- Über eine Kostenfunktion für den Seitenwechsel unter Berücksichtigung von Datenübertragung und HauptspeicherbelegungGünther Weber. 373-387
- The Complexity of Scheduling Algorithms for Three-Processor SystemsSigram Schindler, Harald Lüdtke. 388-397
- A Model of Process Coordination in Distributed Computer SystemsPaolo Ancilotti. 398-411
- Systematic Installation Management (An IMMT Report)Heinz Beilner, Pieter S. Kritzinger. 412-426
- Understanding Lisp-Programs is Improving Lisp-ProgramsHarald Wertz. 427-441
- Maschinelle symbolische Lösung von DifferentialgleichungenPeter Schmidt. 442-456
- Asynchronous Interlock Units for Speed-Independent Multiprocessor SystemsPaolo Corsini. 457-464
- Eine Methode zum Entwurf von Digitalrechnern mit der Programmiersprache MIMOLAGerhard Zimmermann. 465-478