A Level Algorithm for Preemptive Scheduling.
Special Editor's Note.
Program Improvement by Source-to-Source Transformation.
A Methodology for LISP Program Construction from Examples.
An Algorithm for Structuring Flowgraphs.
A General Model for the Performance of Disk Systems.
Initial Algebra Semantics and Continuous Algebras.
A Transformation System for Developing Recursive Programs.
Code Generation for Expressions with Common Subexpressions.
Efficient Algorithms for Shortest Paths in Sparse Networks.