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 BibTeX
,
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 BibTeX
- Tim Sheard:
Automatic Generation and Use of Abstract Structure Operators.
531-557 BibTeX
- Edward A. Lycklama, Vassos Hadzilacos:
A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables.
558-576 BibTeX
- Radha Jagadeesan, Keshav Pingali, Prakash Panangaden:
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.
577-625 BibTeX
- Norman H. Cohen:
Type-Extension Type Tests Can Be Performed In Constant Time.
626-629 BibTeX
- Niklaus Wirth:
Reply to ``Type-Extension Tests Can Be Performed In Constant Time''.
630 BibTeX
- Dennis M. Volpano:
Subtypes and Quantification.
631-632 BibTeX
- F. Warren Burton:
Reply to ``Subtypes and Quantification''.
633 BibTeX
Copyright © Sun May 17 00:30:20 2009
by Michael Ley (ley@uni-trier.de)
