Acta Informatica, Volume 8

Volume 8, 1977

• David A. Watt: The Parsing Problem for Affix Grammars. 1-20 BibTeX
• David C. Luckham, Norihisa Suzuki: Proof of Termination within a Weak Logic of Programs. 21-36 BibTeX
• Mila E. Majster-Cederbaum: Extended Directed Graphs, a Formalism for Structured Data and Data Structures. 37-59 BibTeX
• Isi Mitrani, J. H. Hine: Complete Parameterized Families of Job Scheduling Strategies. 61-73 BibTeX
• Hermann A. Maurer, Arto Salomaa, Derick Wood: EOL Forms. 75-96 BibTeX
• Robert D. Tennent: Language Design Methods Based on Semantic Principles. 97-112 BibTeX
• Bruce Russell: On an Equivalence between Continuation and Stack Semantics. 113-123 BibTeX
• Nissim Francez, Boris Klebansky, Amir Pnueli: Backtracking in Recursive Computations. 125-144 BibTeX
• George W. Ernst: Rules of Inference for Procedure Calls. 145-152 BibTeX
• Bo Munch-Andersen, Torben U. Zahle: Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking. 153-175 BibTeX
• Joel I. Seiferas: Iterative Arrays with Direct Central Control. 177-192 BibTeX
• Peter Deussen, Kurt Mehlhorn: Van Wijngaarden Grammars and Space Complexity Classs EXSPACE. 193-199 BibTeX
• Tilak Agerwala: Some Extended Semaphore Primitives. 201-220 BibTeX
• James E. Donahue: Locations Considered Unnecessary. 221-242 BibTeX
• Fred Kröger: LAR: A Logic of Algorithmic Reasoning. 243-266 BibTeX
• Yoshihide Igarashi: General Properties of Derivational Complexity. 267-283 BibTeX
• Peter R. J. Asveld, Joost Engelfriet: Iterated Deterministic Substitution. 285-302 BibTeX
• J. Eve, Reino Kurki-Suonio: On Computing the Transitive Closure of a Relation. 303-314 BibTeX
• Robert D. Tennent: On a New Approach to Representation Independent Data Classes. 315-324 BibTeX
• Norbert Ramsperger: Concurrent Access to Data. 325-334 BibTeX
• Reidar Conradi: Some Comments on "Concurrent Readers and Writers". 335-340 BibTeX
• Hisao Kameda, C. C. Gotlieb: A Feedback-Coupled Resource Allocation Policy for Multiprogrammed Computer Systems. 341-357 BibTeX
• Michel Parent, Dominique Potier: A Note on the Influence of Program Loading on the Page Fault Rate. 359-370 BibTeX
• Burkhard Monien: The LBA-Problem and the Deterministic Tape Complexity of Two-Way One-Counter Languages over a One-Letter Alphabet. 371-382 BibTeX
• Burkhard Monien: Corrigenda: Transformational Methods and Their Application to Complexity Problems. 383-384 BibTeX