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.
  Electronic Edition (ACM DL) BibTeX
• Christian Schulte, Peter J. Stuckey:
  Efficient constraint propagation engines.
  Electronic Edition (ACM DL) BibTeX
• Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci:
  Decomposing bytecode verification by abstract interpretation.
  Electronic Edition (ACM DL) BibTeX
• Sungwoo Park, Frank Pfenning, Sebastian Thrun:
  A probabilistic language based on sampling functions.
  Electronic Edition (ACM DL) BibTeX
• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse:
  Verified interoperable implementations of security protocols.
  Electronic Edition (ACM DL) BibTeX

Volume 31, Number 2, February 2009

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

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.
  Electronic Edition (ACM DL) BibTeX
• Chin Soon Lee:
  Ranking functions for size-change termination.
  Electronic Edition (ACM DL) BibTeX
• Peter W. O'Hearn, Hongseok Yang, John C. Reynolds:
  Separation and information hiding.
  Electronic Edition (ACM DL) BibTeX
• Jacob Matthews, Robert Bruce Findler:
  Operational semantics for multi-language programs.
  Electronic Edition (ACM DL) BibTeX