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