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

Volume 26, Number 1, January 2004

• Antonio J. Fernández, Patricia M. Hill:
  An interval constraint system for lattice domains. 1-46
  Electronic Edition (ACM DL) BibTeX
• Sergei Gorlatch:
  Send-receive considered harmful: Myths and realities of message passing. 47-56
  Electronic Edition (ACM DL) BibTeX
• Michele Bugliesi, Giuseppe Castagna, Silvia Crafa:
  Access control for mobile agents: The calculus of boxed ambients. 57-124
  Electronic Edition (ACM DL) BibTeX
• Paul C. Attie, Anish Arora, E. Allen Emerson:
  Synthesis of fault-tolerant concurrent programs. 125-185
  Electronic Edition (ACM DL) BibTeX
• Pei-Chi Wu:
  On exponential-time completeness of the circularity problem for attribute grammars. 186-190
  Electronic Edition (ACM DL) BibTeX
• Niels H. Christensen, Robert Glück:
  Offline partial evaluation can be as accurate as online partial evaluation. 191-220
  Electronic Edition (ACM DL) BibTeX

Volume 26, Number 2, March 2004

• Yifeng Chen, Jeff W. Sanders:
  Logic of global synchrony. 221-262
  Electronic Edition (ACM DL) BibTeX
• Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González:
  A fast and accurate framework to analyze and optimize cache memory behavior. 263-300
  Electronic Edition (ACM DL) BibTeX
• Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith:
  Hancock: A language for analyzing transactional data streams. 301-338
  Electronic Edition (ACM DL) BibTeX
• Rajeev Alur, Radu Grosu:
  Modular refinement of hierarchic reactive machines. 339-369
  Electronic Edition (ACM DL) BibTeX
• Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans:
  Traversals of object structures: Specification and Efficient Implementation. 370-412
  Electronic Edition (ACM DL) BibTeX

Volume 26, Number 3, May 2004

• Michael Leuschel:
  A framework for the integration of partial evaluation and abstract interpretation of logic programs. 413-463
  Electronic Edition (ACM DL) BibTeX
• Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
  An unfold/fold transformation framework for definite logic programs. 464-509
  Electronic Edition (ACM DL) BibTeX
• Sabine Glesner, Wolf Zimmermann:
  Natural semantics as a static program analysis framework. 510-577
  Electronic Edition (ACM DL) BibTeX
• Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson:
  JR: Flexible distributed programming in an extended Java. 578-608
  Electronic Edition (ACM DL) BibTeX

Volume 26, Number 4, July 2004

• Rajiv Mirani, Paul Hudak:
  First-class monadic schedules. 609-651
  Electronic Edition (ACM DL) BibTeX
• Simon Helsen, Peter Thiemann:
  Polymorphic specialization for ML. 652-701
  Electronic Edition (ACM DL) BibTeX
• A. Prasad Sistla, Patrice Godefroid:
  Symmetry and reduced symmetry in model checking. 702-734
  Electronic Edition (ACM DL) BibTeX
• Jinpyo Park, Soo-Mook Moon:
  Optimistic register coalescing. 735-765
  Electronic Edition (ACM DL) BibTeX

Volume 26, Number 5, September 2004

• Martin Odersky, Benjamin C. Pierce:
  Guest editorial. 767-768
  Electronic Edition (ACM DL) BibTeX
• Nick Benton, Luca Cardelli, Cédric Fournet:
  Modern concurrency abstractions for C#. 769-804
  Electronic Edition (ACM DL) BibTeX
• Christopher A. Stone:
  Extensible objects without labels. 805-835
  Electronic Edition (ACM DL) BibTeX
• Todd D. Millstein, Colin Bleckner, Craig Chambers:
  Modular typechecking for hierarchically extensible datatypes and functions. 836-889
  Electronic Edition (ACM DL) BibTeX
• Mitchell Wand, Gregor Kiczales, Christopher Dutchyn:
  A semantics for advice and dynamic join points in aspect-oriented programming. 890-910
  Electronic Edition (ACM DL) BibTeX

Volume 26, Number 6, November 2004

• C. Barry Jay:
  The pattern calculus. 911-937
  Electronic Edition (ACM DL) BibTeX
• Sathyanarayanan Thammanur, Santosh Pande:
  A fast, memory-efficient register allocation framework for embedded systems. 938-974
  Electronic Edition (ACM DL) BibTeX
• Zhiyuan Li, Yonghong Song:
  Automatic tiling of iterative stencil loops. 975-1028
  Electronic Edition (ACM DL) BibTeX
• John Clements, Matthias Felleisen:
  A tail-recursive machine with stack inspection. 1029-1052
  Electronic Edition (ACM DL) BibTeX