ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 24

Volume 24, Number 1, January 2002

• PeiZong Lee, Zvi M. Kedem:
  Automatic data and computation decomposition on distributed memory parallel computers. 1-50
  Electronic Edition (ACM DL) BibTeX
• Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran:
  An assume-guarantee rule for checking simulation. 51-64
  Electronic Edition (ACM DL) BibTeX
• Yunheung Paek, Jay Hoeflinger, David A. Padua:
  Efficient and precise array access analysis. 65-109
  Electronic Edition (ACM DL) BibTeX

Volume 24, Number 2, March 2002

• Kathleen Fisher, Benjamin C. Pierce:
  Guest editorial. 111
  Electronic Edition (ACM DL) BibTeX
• Christopher League, Zhong Shao, Valery Trifonov:
  Type-preserving compilation of Featherweight Java. 112-152
  Electronic Edition (ACM DL) BibTeX
• Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
  More dynamic object reclassification: Fickle_||. 153-191
  Electronic Edition (ACM DL) BibTeX

Volume 24, Number 3, May 2002

• J. Strother Moore, George Porter:
  The apprentice challenge. 193-216
  Electronic Edition (ACM DL) BibTeX
• Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm:
  Parametric shape analysis via 3-valued logic. 217-298
  Electronic Edition (ACM DL) BibTeX

Volume 24, Number 4, July 2002

• Sebastian Unger, Frank Mueller:
  Handling irreducible loops: optimized node splitting versus DJ-graphs. 299-333
  Electronic Edition (ACM DL) BibTeX
• Mark van den Brand, Jan Heering, Paul Klint, Pieter A. Olivier:
  Compiling language definitions: the ASF+SDF compiler. 334-368
  Electronic Edition (ACM DL) BibTeX
• Christian S. Collberg:
  Automatic derivation of compiler machine descriptions. 369-408
  Electronic Edition (ACM DL) BibTeX
• Marta Jiménez, José M. Llabería, Agustin Fernández:
  Register tiling in nonrectangular iteration spaces. 409-453
  Electronic Edition (ACM DL) BibTeX

Volume 24, Number 5, September 2002

• G. Ramalingam:
  On loops, dominators, and dominance frontiers. 455-490
  Electronic Edition (ACM DL) BibTeX
• K. Rustan M. Leino, Greg Nelson:
  Data abstraction and information hiding. 491-553
  Electronic Edition (ACM DL) BibTeX
• Arthur Charlesworth:
  The undecidability of associativity and commutativity analysis. 554-565
  Electronic Edition (ACM DL) BibTeX
• Matthew Hennessy, James Riely:
  Information flow vs. resource access in the asynchronous pi-calculus. 566-591
  Electronic Edition (ACM DL) BibTeX

Volume 24, Number 6, November 2002

• Martin Hirzel, Amer Diwan, Johannes Henkel:
  On the usefulness of type and liveness accuracy for garbage collection and leak detection. 593-624
  Electronic Edition (ACM DL) BibTeX
• Frank Tip, Peter F. Sweeney, Chris Laffra, Aldo Eisma, David Streeter:
  Practical extraction techniques for Java. 625-666
  Electronic Edition (ACM DL) BibTeX
• Minghui Yang, Gang-Ryung Uh, David B. Whalley:
  Efficient and effective branch reordering using profile data. 667-697
  Electronic Edition (ACM DL) BibTeX
• Rafael Corchuelo, José Antonio Pérez, Antonio Ruiz Cortés, Miguel Toro:
  Repairing syntax errors in LR parsers. 698-710
  Electronic Edition (ACM DL) BibTeX
• Dominic Duggan:
  Type-Safe linking with recursive DLLs and shared libraries. 711-804
  Electronic Edition (ACM DL) BibTeX