Volume 13, Number 1, January 1991
Volume 13, Number 2, April 1991
Volume 13, Number 3, July 1991
Volume 13, Number 4, October 1991
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
- 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.
- Tim Sheard:
Automatic Generation and Use of Abstract Structure Operators.
- Edward A. Lycklama, Vassos Hadzilacos:
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables.
- Radha Jagadeesan, Keshav Pingali, Prakash Panangaden:
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.
- Norman H. Cohen:
Type-Extension Type Tests Can Be Performed In Constant Time.
- Niklaus Wirth:
Reply to ``Type-Extension Tests Can Be Performed In Constant Time''.
- Dennis M. Volpano:
Subtypes and Quantification.
- F. Warren Burton:
Reply to ``Subtypes and Quantification''.