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
Volume 31, Number 3, April 2009
Volume 31, Number 4, May 2009
Volume 31, Number 5, June 2009
Volume 31, Number 6, August 2009
Last update Tue May 21 19:51:20 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page