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

Volume 31, Number 1, December 2008

• Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte:
  A programming model for concurrent object-oriented programs.
  
• Christian Schulte, Peter J. Stuckey:
  Efficient constraint propagation engines.
  
• Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
  Decomposing bytecode verification by abstract interpretation.
  
• Sungwoo Park, Frank Pfenning, Sebastian Thrun:
  A probabilistic language based on sampling functions.
  
• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse:
  Verified interoperable implementations of security protocols.
  

Volume 31, Number 2, February 2009

• Christian Schulte, Peter J. Stuckey:
  Erratum to "Efficient constraint propagation engines".
  
• Ana Lúcia de Moura, Roberto Ierusalimschy:
  Revisiting coroutines.
  
• Todd D. Millstein, Christopher Frost, Jason Ryder, Alessandro Warth:
  Expressive and modular predicate dispatch for Java.
  
• Jon Sneyers, Tom Schrijvers, Bart Demoen:
  The computational power and complexity of constraint handling rules.
  

Volume 31, Number 3, April 2009

• Steve MacDonald, Kai Tan, Jonathan Schaeffer, Duane Szafron:
  Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system.
  
• Chin Soon Lee:
  Ranking functions for size-change termination.
  
• Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
  Separation and information hiding.
  
• Jacob Matthews, Robert Bruce Findler:
  Operational semantics for multi-language programs.
  

Volume 31, Number 4, May 2009

• Zena M. Ariola, Aaron Bohannon, Amr Sabry:
  Sequent calculi and abstract machines.
  
• Sara Kalvala, Richard Warburton, David Lacey:
  Program transformations using temporal logic side conditions.
  
• Davide Sangiorgi:
  On the origins of bisimulation and coinduction.
  
• Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell:
  Term transformers: A new approach to state.
  
• Keshav Pingali, Kathryn S. McKinley:
  Remembrances of things past.
  

Volume 31, Number 5, June 2009

• Efe Yardimci, Michael Franz:
  Mostly static program partitioning of binary executables.
  
• Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk:
  Certificate translation for optimizing compilers.
  
• Giuseppe Castagna, Nils Gesbert, Luca Padovani:
  A theory of contracts for Web services.
  

Volume 31, Number 6, August 2009

• Yutao Zhong, Xipeng Shen, Chen Ding:
  Program locality analysis using reuse distance.
  
• Yanhong A. Liu, Scott D. Stoller:
  From datalog rules to efficient programs with time and space guarantees.
  
• Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv:
  Self-stabilization preserving compiler.
  
• Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
  Local policies for resource usage analysis.