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

Volume 25, Number 1, January 2003

• Francesca Levi, Davide Sangiorgi:
  Mobile safe ambients. 1-69
  Electronic Edition (ACM DL) BibTeX
• Radu Rugina, Martin C. Rinard:
  Pointer analysis for structured parallel programs. 70-116
  Electronic Edition (ACM DL) BibTeX
• François Pottier, Vincent Simonet:
  Information flow inference for ML. 117-158
  Electronic Edition (ACM DL) BibTeX

Volume 25, Number 2, March 2003

• Bratin Saha, Valery Trifonov, Zhong Shao:
  Intensional analysis of quantified types. 159-209
  Electronic Edition (ACM DL) BibTeX
• Norman Ramsey, Cristina Cifuentes:
  A transformational approach to binary translation of delayed branches. 210-224
  Electronic Edition (ACM DL) BibTeX
• Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech:
  PolyTOIL: A type-safe polymorphic object-oriented language. 225-290
  Electronic Edition (ACM DL) BibTeX

Volume 25, Number 3, May 2003

• Morten Rhiger:
  A foundation for embedded languages. 291-315
  Electronic Edition (ACM DL) BibTeX
• Martin C. Rinard, Pedro C. Diniz:
  Eliminating synchronization bottlenecks using adaptive replication. 316-359
  Electronic Edition (ACM DL) BibTeX
• Cédric Fournet, Andrew D. Gordon:
  Stack inspection: Theory and variants. 360-399
  Electronic Edition (ACM DL) BibTeX

Volume 25, Number 4, July 2003

• Ferruccio Damiani:
  Rank 2 intersection types for local definitions and conditional expressions. 401-451
  Electronic Edition (ACM DL) BibTeX
• Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
  Automatic program specialization for Java. 452-499
  Electronic Edition (ACM DL) BibTeX
• Thomas Kistler, Michael Franz:
  Continuous program optimization: A case study. 500-548
  Electronic Edition (ACM DL) BibTeX

Volume 25, Number 5, September 2003

• Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine:
  The receptive distributed pi-calculus. 549-577
  Electronic Edition (ACM DL) BibTeX
• Fausto Spoto, Thomas P. Jensen:
  Class analyses as abstract interpretations of trace semantics. 578-630
  Electronic Edition (ACM DL) BibTeX
• Clinton L. Jeffery:
  Generating LR syntax error messages from examples. 631-640
  Electronic Edition (ACM DL) BibTeX
• Davide Ancona, Giovanni Lagorio, Elena Zucca:
  Jam - designing a Java extension with mixins. 641-712
  Electronic Edition (ACM DL) BibTeX

Volume 25, Number 6, November 2003

• Bruno Blanchet:
  Escape analysis for Java^TM: Theory and practice. 713-775
  Electronic Edition (ACM DL) BibTeX
• Vijay Menon, Keshav Pingali, Nikolay Mateev:
  Fractal symbolic analysis. 776-813
  Electronic Edition (ACM DL) BibTeX
• Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
  Extending Java for high-level Web service construction. 814-875
  Electronic Edition (ACM DL) BibTeX
• Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff:
  Stack allocation and synchronization optimizations for Java using escape analysis. 876-910
  Electronic Edition (ACM DL) BibTeX