Acta Informatica, Volume 24

Volume 24, Number 1, 1987

Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. 1-31
Ryszard Janicki:
A Formal Semantics for Concurrent Systems with a Priority Relation. 33-55
Masato Takeichi:
Partial Parametrization Eliminates Multiple Traversals of Data Structures. 57-77
Oded Goldreich, Liuba Shrira:
Electing a Leader in a Ring with Link Failures. 79-91
Clement H. C. Leung:
Analysis of Space Allocation in a Generally Fragmented Linear Store. 93-104
K. Vidyasankar:
Generalized Theory of Serializability. 105-119

Manfred Kunde:
Lower Bounds for Sorting on Mesh-Connected Architectures. 121-130
George Loizou, Peter Thanisch:
Losslessness and Project-Join Constructibility in Relational Databases. 131-144
Thomas P. Murtagh:
Redundant Proofs of Non-Interference in Levin-Gries CSP Program Proofs. 145-156
Stephan Heilbrunner, Steffen Hölldobler:
The Undecidability of the Unification and Matching Problem for Canonical Theories. 157-171
Wojciech Szpankowski:
An Analysis of a Contention Resolution Algorithm: Another Approach. 173-190
Lawrence A. Harris:
SLR(1) and LALR(1) Parsing for Unrestricted Grammars. 191-209
Rocco De Nicola:
Extensional Equivalences for Transition Systems. 211-237

Ali Mili, Jules Desharnais, Fatma Mili:
Relational Heuristics for the Design of Deterministic Programs. 239-276
Luc Devroye:
Branching Processes in the Analysis of the Heights of Trees. 277-298
Henk Alblas:
One-Pass Transformations of Attributed Program Trees. 299-352
S. Kiran Kumar, C. Pandu Rangan:
A Linear Space Algorithm for the LCS Problem. 353-362

Bernd Becker:
An Easily Testable Optimal-Time VLSI-Multiplier. 363-380
Albert Hoogewijs:
Partial-Predicate Logic in Computer Science. 381-393
Deepak Kapur, Paliath Narendran, Hantao Zhang:
On Sufficient-Completeness and Related Properties of Term Rewriting Systems. 395-415
Joseph G. Peters, Larry Rudolph:
Parallel Approximation Schemes for Subset Sum and Knapsack Problems. 417-432
Ursula Schmidt:
Long Unavoidable Patterns. 433-445
Paul E. S. Dunne:
A Result on k -Valent Graphs and Its Application to a Graph Embedding Problem. 447-459
M. Kempf, Rudolf Bayer, Ulrich Güntzer:
Time Optimal Left to Right Construction of Position Trees. 461-474
Edward A. Bender, Cheryl E. Praeger, Nicholas C. Wormald:
Optimal Worst Case Trees. 475-489

J. W. de Bakker, John-Jules Ch. Meyer:
Order and Metric in the Stream Semantics of Elemental Concurrency. 491-511
Jacek Blazewicz, Wieslaw Kubiak, Hans Röck, Jayme Luiz Szwarcfiter:
Minimizing Mean Flow-Time with Parallel Processors and Resource Constraints. 513-524
Andrzej Duda, Tadeusz Czachórski:
Performance Evaluation of Fork and Join Synchronization Primitives. 525-553
Shyamal K. Chowdhury, Pradip K. Srimani:
Worst Case Performance of Weighted Buddy Systems. 555-564
Bernard Chazelle:
Some Techniques for Geometric Searching with Implicit Set Representations. 565-582
Walter Cunto, Jose Luis Gascon:
Improving Time and Space Efficiency in Generalized Binary Search Trees. 583-594

Chua-Huang Huang, Christian Lengauer:
The Derivation of Systolic Implementations of Programs. 595-632
Uwe Kastens:
Lifetime Analysis for Attributes. 633-651
Marek J. Lao:
Combinator-Based Compilation of Recursive Functions with Different Parameter Passing Modes. 653-678
Susan Horwitz, Alan J. Demers, Tim Teitelbaum:
An Efficient General Iterative Algorithm for Dataflow Analysis. 679-694
Samuel N. Kamin:
The Expressive Theory of Stacks. 695-709

Last update Fri May 24 19:58:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page