Acta Informatica, Volume 25

Volume 25, Number 1, 1987

Eric C. R. Hehner, Andrew J. Malton: Termination Conventions and Comparative Semantics. 1-14 BibTeX
Alain Finkel, Annie Choquet: Fifo Nets Without Order Deadlock. 15-36 BibTeX
Athanasios K. Tsakalidis: The Nearest Common Ancestor in a Dynamic Tree. 37-54 BibTeX
Victor Vianu: Database Survivability Under Dynamic Constraints. 55-84 BibTeX
Mahadevan Ganapathi, Charles N. Fischer: Integrating Code Generation and Peephole Optimization. 85-109 BibTeX

Friedrich L. Bauer, Martin Wirsing: Crypt-Equivalent Algebraic Specifications. 111-153 BibTeX
Thomas W. Reps: Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. 155-178 BibTeX
Luc Bougé: On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. 179-201 BibTeX
Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg: Recording the Use of Memory in Right-Boundary Grammars and Push-Down Automata. 203-231 BibTeX

Donald Sannella, Andrzej Tarlecki: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. 233-281 BibTeX
Zhang Ming-Hua: A Second Order Theory of Data Types. 283-303 BibTeX
Ann E. Kelley Sobel, N. Soundararajan: A Proof System for Distributed Processes. 305-332 BibTeX
John H. Reif, Scott A. Smolka: The Complexity of Reachability in Distributed Communicating Processes. 333-354 BibTeX

Robert Giegerich: Composition and Evaluation of Attribute Coupled Grammars. 355-423 BibTeX
Ulf R. Schmerl: Resolution on Formula-Trees. 425-438 BibTeX
Andrzej Biela: Program-Substitution and Admissibility of Rules in Algorithmic Logic. 439-473 BibTeX

Edward P. F. Chan, Héctor J. Hernández: On Generating Database Schemes Bounded or Constant-time-maintainable by Extensibility. 475-496 BibTeX
William P. R. Mitchell: Inductive Completion with Retracts. 497-514 BibTeX
Pavel Pudlák, Vojtech Rödl, Petr Savický: Graph Complexity. 515-535 BibTeX
Joost Engelfriet, George Leih, Grzegorz Rozenberg: Apex Graph Grammars and Attribute Grammars. 537-571 BibTeX
Paliath Narendran, Friedrich Otto: Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems. 573-591 BibTeX

Ralph-Johan Back: A Calculus of Refinements for Program Derivations. 593-624 BibTeX
José Luiz Fiadeiro, Amílcar Sernadas: Specification and Verification of Database Dynamics. 625-661 BibTeX
Sheldon Shen: Cooperative Distributed Dynamic Load Balancing. 663-676 BibTeX
Satish K. Tripathi, David Finkel, Erol Gelenbe: Load Sharing in Distributed Systems with Failures. 677-689 BibTeX
Giorgio Levi, Catuscia Palamidessi: Contributions to the Semantics of Logic Perpetual Processes. 691-711 BibTeX