Volume 14, 1980
- Bruce Russell:
Correctness of the Compiling Process Based on Axiomatic Semantics.
1-20
- Leslie Lamport:
The `Hoare Logic' of Concurrent Programs.
21-37
- Brigitte Plateau:
Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie.
39-62
- Carla Schlatter Ellis:
Concurrent Search and Insertion in 2-3 Trees.
63-86
- Reiner Philipp, Ernst-Jürgen Prauß:
Über Separatoren in planaren Graphen.
87-106
- Allan G. Bromley:
Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation.
107-117
- Vijay K. Vaishnavi, Hans-Peter Kriegel, Derick Wood:
Optimum Multiway Search Trees.
119-133
- Reiji Nakajima, Michio Honda, Hayao Nakahara:
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
135-155
- Eljas Soisalon-Soininen:
On the Space Optimizing Effect of Eliminating Single Productions from LR Parsers.
157-174
- Lutz Michael Wegner:
On Parsing Two-Level Grammars.
175-193
- Marco A. Casanova, Philip A. Bernstein:
General Purpose Schedulers for Database Systems.
195-220
- Zvi Galil:
An O(V5/3 E2/3) Algorithm for the Maximal Flow Problem.
221-242
- Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk:
On Alternation.
243-255
- Beate Commentz-Walter, Jürgen Sattler:
Size-depht Tradeoff in Non-monotone Boolean Formulae.
257-269
- Anton Nijholt:
A Survey of Normal Form Covers for Context Free Grammars.
271-294
- Rainer Kemp:
A Note on the Density of Inherently Ambiguous Context-free Languages.
295-298
- Paul Walton Purdom Jr., Cynthia A. Brown:
Semantic Routines and LR(k) Parsers.
299-315
- Karl-Rudolf Moll:
Left Context Precedence Grammars.
317-335
- Mitchell Wand:
First-Order Identities as a Defining Language.
337-357
- Hirokazu Nishimura:
Descriptively Complete Process Logic.
359-369
- Fred Kröger:
Infinite Proof Rules for Loops.
371-389
- Wolfgang J. Paul, Rüdiger Reischuk:
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.
391-403
Last update Tue Feb 14 04:13:36 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
