Volume 16, 1981
- Zvi M. Kedem, Abraham Silberschatz:
A Characterization of Database Graphs Admitting a Simple Locking Protocol.
1-13
- Maurice Clint:
On the Use of History Variables.
15-30
- Richard G. Hamlet:
Reliability Theory of Program Testing.
31-43
- Manfred P. Stadel:
Behandlung verschiedener INTEGER-Darstellungen durch optimierende Compiler.
45-56
- Rolf Schassberger:
On the Response Time Distribution in a Discrete Round-Robin Queue.
57-62
- Dirk Janssens, Grzegorz Rozenberg:
A Characterization of Context-free String Languages by Directed Node-label Controlled Graph Grammars.
63-85
- Paul Pritchard:
Another Look at the "Longest Ascending Subsequence" Problem.
87-91
- Eike Best, Brian Randell:
A Formal Model of Atomicity in Asynchronous Systems.
93-124
- Thomas J. Ostrand, Marvin C. Paull, Elaine J. Weyuker:
Parsing Regular Grammars with Finite Lookahead.
125-138
- Volker Claus:
The ( n,k )-Bounded Emptiness-Problem for Probabilistic Acceptors and Related Problems.
139-160
- Ernst-Rüdiger Olderog:
Sound and Complete Hoare-like Calculi Based on Copy Rules.
161-197
- Andrzej Blikle:
The Clean Termination of Iterative Programs.
199-217
- Alain J. Martin:
An Axiomatic Definition of Synchronization Primitives.
219-235
- Trevor I. Fenner, George Loizou:
An Analysis of two Related Loop-free Algorithms for Generating Integer Partitions.
237-252
- Jayashree Ramanathan, Ken Kennedy:
Pathlistings Applied to Data Flow Analysis.
253-273
- Joost Engelfriet, Gilberto Filé:
The Formal Power of One-Visit Attribute Grammars.
275-302
- Leslie M. Goldschlager:
Varepsilon-Productions in Context-Free Grammars.
303-308
- John L. Hennessy, Richard B. Kieburtz:
The Formal Definition of a Real-Time Language.
309-345
- Thomals Klingler, Stefan Reisch:
A Gap Between the Actual Complexity of Permutations and Their Entropy Defined by Stoß.
347-362
- George Markowsky:
Best Huffman Trees.
363-370
- Zohar Manna, Richard J. Waldinger:
Problematic Features of Programming Languages: A Situational-Calculus Approach.
371-426
- Henk Alblas:
A Characterization of Attribute Evaluation in Passes.
427-464
- Thomas Lengauer:
Black-White Pebbles and Graph Separation.
465-475
Copyright © Mon Nov 2 21:23:07 2009
by Michael Ley (ley@uni-trier.de)
