Volume 6, 1976
- Edward G. Coffman Jr., Ravi Sethi:
Algorithms Minimizing Mean Flow Time: Schedule-Length Properties.
1-14 BibTeX
- Erich J. Neuhold, T. Weller:
Specification and Proving of Command Programs.
15-40 BibTeX
- John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs.
41-60 BibTeX
- Andrei P. Ershov:
Axiomatics for Memory Allocation.
61-75 BibTeX
- Zvi Galil:
Hierarchies of Complete Problems.
77-88 BibTeX
- Ronald V. Book, Ashok K. Chandra:
Inherently Nonplanar Automata.
89-94 BibTeX
- Burkhard Monien:
Transformational Methods and their Application to Complexity Problems.
95-108 BibTeX
- E. R. Anderson, F. C. Belz, Edward K. Blum:
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages.
109-131 BibTeX
- Michael Karr:
Affine Relationships Among Variables of a Program.
133-151 BibTeX
- Robert T. Moenck:
Another Polynomial Homomorphism.
153-169 BibTeX
- Robert Endre Tarjan:
Edge-Disjoint Spanning Trees and Depth-First Search.
171-185 BibTeX
- William R. Franta:
The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue.
187-209 BibTeX
- Gary J. Nutt:
Some Resource Allocation Policies in a Multi Associative Processor.
211-225 BibTeX
- Hans Albrecht Schmid:
On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors.
227-249 BibTeX
- Pierre-Jacques Courtois, Hendrik Vantilborgh:
A Decomposable Model of Program Paging Behaviour.
251-275 BibTeX
- Roland Carl Backhouse:
An Alternative Approach to the Improvement of LR(k) Parsers.
277-296 BibTeX
- Hans Jürgen Schneider, Hartmut Ehrig:
Grammars on Partial Graphs.
297-316 BibTeX
- Susan S. Owicki, David Gries:
An Axiomatic Proof Technique for Parallel Programs I.
319-340 BibTeX
- Jacques Cohen, Martin S. Roth:
On the Implementation of Strassen's Fast Multiplication Algorithm.
341-355 BibTeX
- Edsger W. Dijkstra:
On a Gauntlet Thrown by David Gries.
357-359 BibTeX
- Kenichi Taniguchi, Tadao Kasami:
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.
361-364 BibTeX
- Alexandre Brandwajn:
A Model of a Virtual Memory System.
365-386 BibTeX
- R. M. Wharton:
Resolution of Ambiguity in Parsing.
387-395 BibTeX
- Hermann A. Maurer, Derick Wood:
On Grammar Forms with Terminal Context.
397-402 BibTeX
- Werner Heise:
Optimal Codes, n-Arcs and Laguerre Geometry.
403-406 BibTeX
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On Proving that Certain Languages are not ETOL.
407-415 BibTeX
Copyright © Tue Nov 18 19:36:18 2008
by Michael Ley (ley@uni-trier.de)
