Acta Informatica, Volume 9

Volume 9, 1977

• Rudolf Bayer, Mario Schkolnick: Concurrency of Operations on B-Trees. 1-21
• D. T. Lee, C. K. Wong: Worst-Case Analysis for Region and Partial Region Searches in Multidimensional Binary Search Trees and Balanced Quad Trees. 23-29
• David Pager: Eliminating Unit Productions from LR Parsers. 31-59
• Stefan Sokolowski: Axioms for Total Correctness. 61-71
• Jan Paredaens, R. Vyncke: A Class of Measures on Formal Languages. 73-86
• Jürgen Avenhaus, Klaus Madlener: Subrekursive Komplexität bei Gruppen: I. Gruppen mit vorgeschriebener Komplexität. 87-104

Volume 9, 1978

• Wilfred J. Hansen, Hendrik Boom: The Report on the Standard Hardware Representation for ALGOL 68. 105-119
• Claus H. Correl: Proving Programs Correct through Refinement. 121-132
• Nissim Francez, Amir Pnueli: A Proof Method for Cyclic Programs. 133-157
• Andrew Chi-Chih Yao: On Random 2-3 Trees. 159-170
• Ronald V. Book: On the Complexity of Formal Grammars. 171-181
• Jürgen Avenhaus, Klaus Madlener: Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen. 183-193
• Terrence W. Pratt: Program Analysis and Optimization through Kernel-Control Decomposition. 195-216
• Christoph M. Hoffmann: Design and Correctness of a Compiler for a Non-Procedural Language. 217-241
• Armin B. Cremers, Thomas N. Hibbard: Orthogonality of Information Structures. 243-261
• Edward G. Coffman Jr., Joseph Y.-T. Leung, D. W. Ting: Bin Packing: Maximizing the Number of Pieces Packed. 263-271
• Arnold L. Rosenberg: Data Encodings and Their Costs. 273-292
• Armin B. Cremers, Thomas N. Hibbard: Functional Behavior in Data Spaces. 293-307
• Manfred P. Stadel: Die Zeitkomplexität des Normalisierungsproblems bei kontextsensitiven Grammatiken. 309-329
• Anthony E. Krzesinski, Peter Teunissen: A Multiclass Networt Model of a Demand Paging Computer System. 331-343
• H. Hule, Hermann A. Maurer, Thomas Ottmann: Good OL Forms. 345-353
• Henry S. Warren Jr.: Static Main Storage Packing Problems. 355-376
• Peter Deussen: A Unified Approach to the Generation and the Acception of Formal Languages. 377-390