Volume 16, Number 1, January 1994
Volume 16, Number 2, March 1994
: Compositional Specification and Verification of Distributed Systems.
Volume 16, Number 3, May 1994
Adrienne G. Bloss
: Path Analysis and the Optimization of Nonstrict Functional Programs.
: Debugging Optimized Code Without Being Misled.
Josyula R. Rao
: Reasoning about Probabilistic Parallel Programs.
Volume 16, Number 4, July 1994
: Operational Semantics-Directed Compilers and Machine Architectures.
Volume 16, Number 5, September 1994
: Efficient Counting Program Events with Support for On-Line Queries.
: Strictness Optimization for Graph Reduction Machines (Why id Might Not Be Strict).
Volume 16, Number 6, November 1994
: Powerlist: A Structure for Parallel Recursion.
, Ken Kennedy
: Improving the Ratio of Memory Operations to Floating-Point Operations in Loops.
: Software Merge: Semantics of Combining Changes to Programs.