Volume 11, Number 1, January 1989
Volume 11, Number 2, April 1989
Gail E. Kaiser
: Incremental Dynamic Semantics for Language-Based Programming Environments.
William E. Weihl
: Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.
Volume 11, Number 3, July 1989
Richard P. Brent
: Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation.
Frank D. Anger
: On Lamport's Interprocessor Communication Model.
Saumya K. Debray
: Static Inference of Modes and Data Dependencies in Logic Programs.
Volume 11, Number 4, October 1989
: A Generalization of Dijkstra's Calculus.
Ben A. Sijtsma
: On the Productivity of Recursive List Definitions.
: Some Comments on ``A Solution to a Problem with Morel and Renvoise's `Global Optimization by Suppression of Partial Redundancies'.