Volume 13, Number 1, January 1991
Volume 13, Number 2, April 1991
Volume 13, Number 3, July 1991
Volume 13, Number 4, October 1991
- Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck:
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.
451-490, (preliminary version: POPL 1989: 25-35)

- Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer:
Techniques for Debugging Parallel Programs with Flowback Analysis.
491-530

- Tim Sheard:
Automatic Generation and Use of Abstract Structure Operators.
531-557

- Edward A. Lycklama, Vassos Hadzilacos:
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables.
558-576

- Radha Jagadeesan, Keshav Pingali, Prakash Panangaden:
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.
577-625

- Norman H. Cohen:
Type-Extension Type Tests Can Be Performed In Constant Time.
626-629

- Niklaus Wirth:
Reply to ``Type-Extension Tests Can Be Performed In Constant Time''.
630

- Dennis M. Volpano:
Subtypes and Quantification.
631-632

- F. Warren Burton:
Reply to ``Subtypes and Quantification''.
633

Last update Sat May 25 17:02:28 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page