Acta Informatica, Volume 27

Volume 27, Number 1, 1989

Henk Alblas: Iteration of Transformation Passes over Attributed Program Trees. 1-40 BibTeX
Carl Langenhop, William E. Wright: A Model of the Dynamic Behavior of B-Trees. 41-59 BibTeX
Peter Ruzicka, Igor Prívara: An Almost Linear Robinson Unification Algorithm. 61-71 BibTeX
Kung-Kiu Lau: A Note on Synthesis and Classification of Sorting Algorithms. 73-80 BibTeX
Jakob Gonczarowski, Manfred K. Warmuth: Scattered Versus Context-Sensitive Rewriting. 81-95 BibTeX

Chua-Huang Huang, Christian Lengauer: An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. 97-124 BibTeX
Dirk Taubner, Walter Vogler: Step Failures Semantics and a Complete Proof System. 125-156 BibTeX
Vernon Rego: Some Efficient Computational Algorithms Related to Phase Models. 157-177 BibTeX
Karel Culik II, Juhani Karhumäki: HDTOL Matching of Computations of Multitape Automata. 179-191 BibTeX

Friedrich L. Bauer: In Memoriam: Andrei Petrovich Ershov. 193-194 BibTeX
Betty Salzberg: Merging Sorted Runs Using Large Main Memory. 195-215 BibTeX
Gunther Schmidt, Rudolf Berghammer, Hans Zierer: Describing Semantic Domains with Sprouts. 217-245 BibTeX
Demetres D. Kouvatsos, Nasreddine Tabet-Aouel: A Maximum Entropy Priority Approximation for a Stable G/G/ 1 Queue. 247-286 BibTeX

Joseph M. Morris: Temporal Predicat Transformers and Fair Termination. 287-313 BibTeX
Andrzej Ehrenfeucht, Grzegorz Rozenberg: Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. 315-342 BibTeX
Andrzej Ehrenfeucht, Grzegorz Rozenberg: Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems. 343-368 BibTeX
Lawrence T. Kou: On Efficient Implementation of an Approximation Algorithm for the Steiner Tree Problem. 369-380 BibTeX

John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Hiding in Stream Semantics of Uniform Concurrency. 381-397 BibTeX
Clemens Lautemann: The Complexity of Graph Languages Generated by Hyperedge Replacement. 399-421 BibTeX
Mark H. Overmars, Michiel H. M. Smid, Mark de Berg, Marc J. van Kreveld: Maintaining Range Trees in Secondary Memory. Part I: Partitions. 423-452 BibTeX
Michiel H. M. Smid, Mark H. Overmars: Maintaining Range Trees in Secondary Memory. Part II: Lower Bounds. 453-480 BibTeX

Carroll Morgan, Paul H. B. Gardiner: Data Refinement by Calculation. 481-503 BibTeX
Harald Søndergaard, Peter Sestoft: Referential Transparency, Definiteness and Unfoldability. 505-517 BibTeX
Erol Gelenbe, Marisela Hernández: Optimum Checkpoints with Age Dependent Failures. 519-531 BibTeX
Dirk Taubner: Representing CCS Programs by Finite Predicate/Transition Nets. 533-565 BibTeX
Joost Engelfriet, Willem de Jong: Attribute Storage Optimization by Stacks. 567-581 BibTeX

Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. 583-625 BibTeX
Lin Yu, Daniel J. Rosenkrantz: Minimizing Time-Space Cost for Database Version Control. 627-663 BibTeX
A. Michael Berman, Marvin C. Paull, Barbara G. Ryder: Proving Relative Lower Bounds for Incremental Algorithms. 665-683 BibTeX

Wladyslaw M. Turski: On Specification of Multiprocessor Computing. 685-696 BibTeX
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier: The Instability of Self-Stabilization. 697-724 BibTeX
Rance Cleaveland: Tableau-Based Model Checking in the Propositional Mu-Calculus. 725-747 BibTeX
Andreas Weber: On the Valuedness of Finite Transducers. 749-780 BibTeX
Alexander Meduna: Context Free Derivations on Word Monoids. 781-786 BibTeX