Acta Informatica, Volume 3

Volume 3, 1973

Erol Gelenbe, Paolo Tiberio, J. C. A. Boekhorst: Page Size in Demand-Paging Systems. 1-23 BibTeX
Maurice Schlumberger, Jean Vuillemin: Optimal Disk Merge Patterns. 25-35 BibTeX
A. Nahapetian: Node Flows in Graphs with Conservative Flow. 37-41 BibTeX
B. L. Fox: Reducing the Number of Multiplikations in Iterative Processes. 43-45 BibTeX
A. Nico Habermann: Critical Comments on the Programming Language Pascal. 47-57 BibTeX
Armin B. Cremers: Normal Forms for Context-Sensitive Grammars. 59-73 BibTeX
Lutz Eichner: Lineare Realisierbarkeit endlicher Automaten über endlichen Körpern. 75-100 BibTeX

Volume 3, 1974

T. Betteridge: An Analytic Storage Allocation Model. 101-122 BibTeX
Ellis Horowitz: A Unified View of the Complexity of Evaluation and Interpolation. 123-133 BibTeX
C. A. R. Hoare, Peter E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages. 135-153 BibTeX
P. F. Schuler: Weakly Context-Sensitive Languages as Model for Programming Languages. 155-170 BibTeX
Gerd Kaufholz: Über die Vernetzungsstruktur von Maschinen. 171-186 BibTeX
David B. Benson: An Abstract Machine Theory for Formal Language Parsers. 187-202 BibTeX
David J. Kuck, Yoichi Muraoka: Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity. 203-216 BibTeX
Wolfgang J. Paul, H.-J. Stoß: Zur Komplexität von Sortierproblemen. 217-225 BibTeX
Hans Langmaack: On Procedures as Open Subroutines. II. 227-241 BibTeX
Zohar Manna, Amir Pnueli: Axiomatic Approach to Total Correctness of Programs. 243-263 BibTeX
Andrzej Ehrenfeucht, Grzegorz Rozenberg: Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems. 265-283 BibTeX
Martti Penttonen: On Derivation Languages Corresponding to Context-Free Grammars. 285-291 BibTeX
Jean Berstel: Sur une Conjecture de S. Greibach. 293-295 BibTeX
C. C. Gotlieb, Frank Wm. Tompa: Choosing a Storage Schema. 297-319 BibTeX
Erol Gelenbe, Jacques Lenfant, Dominique Potier: Analyse d'un algorithme de gestion simultanée Mémoire centrale - Disque de pagination. 321-345 BibTeX
M. R. Garey, Ronald L. Graham: Performance Bounds on the Splitting Algorithm for Binary Testing. 347-355 BibTeX
Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum: Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems. 357-364 BibTeX
K. Ecker, Helmut Ratschek: Eigenschaften der von linearen Automaten erkennbaren Worte. 365-383 BibTeX
Lutz Eichner: Total lineare Realisierbarkeit endlicher Automaten. 385-397 BibTeX