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