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

Volume 28, Number 1, January 2006

• Yossi Levanoni, Erez Petrank:
  An on-the-fly reference-counting garbage collector for java. 1-69
  Electronic Edition (ACM DL) BibTeX
• Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani:
  EDO: Exception-directed optimization in java. 70-105
  Electronic Edition (ACM DL) BibTeX
• Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani:
  Effective sign extension elimination for java. 106-133
  Electronic Edition (ACM DL) BibTeX
• Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani:
  A region-based compilation technique for dynamic compilers. 134-174
  Electronic Edition (ACM DL) BibTeX
• Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider:
  Computability classes for enforcement mechanisms. 175-205
  Electronic Edition (ACM DL) BibTeX

Volume 28, Number 2, March 2006

• Martín Abadi, Cormac Flanagan, Stephen N. Freund:
  Types for safe locking: Static race detection for Java. 207-255
  Electronic Edition (ACM DL) BibTeX
• Étienne Payet, Frédéric Mesnard:
  Nontermination inference of logic programs. 256-289
  Electronic Edition (ACM DL) BibTeX
• Massimo Merro, Matthew Hennessy:
  A bisimulation-based semantic theory of Safe Ambients. 290-330
  Electronic Edition (ACM DL) BibTeX
• Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black:
  Traits: A mechanism for fine-grained reuse. 331-388
  Electronic Edition (ACM DL) BibTeX

Volume 28, Number 3, May 2006

• Stijn Vansummeren:
  Type inference for unique pattern matching. 389-428
  Electronic Edition (ACM DL) BibTeX
• Dan Grossman:
  Quantified types in an imperative language. 429-475
  Electronic Edition (ACM DL) BibTeX
• Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic:
  Generating object lifetime traces with Merlin. 476-516
  Electronic Edition (ACM DL) BibTeX
• Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers:
  MultiJava: Design rationale, compiler implementation, and applications. 517-575
  Electronic Edition (ACM DL) BibTeX

Volume 28, Number 4, July 2006

• Elizabeth Scott, Adrian Johnstone:
  Right nulled GLR parsers. 577-618
  Electronic Edition (ACM DL) BibTeX
• Gerwin Klein, Tobias Nipkow:
  A machine-checked model for a Java-like language, virtual machine, and compiler. 619-695
  Electronic Edition (ACM DL) BibTeX
• Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde:
  Fast partial evaluation of pattern matching in strings. 696-714
  Electronic Edition (ACM DL) BibTeX
• Richard Carlsson, Konstantinos F. Sagonas, Jesper Wilhelmsson:
  Message analysis for concurrent programs using message passing. 715-746
  Electronic Edition (ACM DL) BibTeX
• Raymond T. Boute:
  Calculational semantics: Deriving programming theories from equations by functional predicate calculus. 747-793
  Electronic Edition (ACM DL) BibTeX

Volume 28, Number 5, September 2006

• Atsushi Igarashi, Mirko Viroli:
  Variant parametric types: A flexible subtyping scheme for generics. 795-847
  Electronic Edition (ACM DL) BibTeX
• Pramod G. Joisha, Prithviraj Banerjee:
  An algebraic array shape inference system for MATLAB. 848-907
  Electronic Edition (ACM DL) BibTeX
• Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham:
  Controlling garbage collection and heap growth to reduce the execution time of Java applications. 908-941
  Electronic Edition (ACM DL) BibTeX
• Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar:
  Exploiting reference idempotency to reduce speculative storage overflow. 942-965
  Electronic Edition (ACM DL) BibTeX

Volume 28, Number 6, November 2006

• Rajeev Joshi, Greg Nelson, Yunhong Zhou:
  Denali: A practical algorithm for generating optimal code. 967-989
  Electronic Edition (ACM DL) BibTeX
• Umut A. Acar, Guy E. Blelloch, Robert Harper:
  Adaptive functional programming. 990-1034
  Electronic Edition (ACM DL) BibTeX
• Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken:
  Flow-insensitive type qualifiers. 1035-1087
  Electronic Edition (ACM DL) BibTeX
• Mangala Gowri Nanda, S. Ramesh:
  Interprocedural slicing of multithreaded programs with applications to Java. 1088-1144
  Electronic Edition (ACM DL) BibTeX
• Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III:
  On minimizing materializations of array-valued temporaries. 1145-1177
  Electronic Edition (ACM DL) BibTeX