Programming languages & software engineering

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

ESEC/SIGSOFT FSE | January 2005

ESEC/SIGSOFT FSE

ISBN: 1-59593-014-0

Project Project

Nicolas Bruno, Surajit Chaudhuri

Proceedings of the ACM International Conference on Management of Data (SIGMOD) | January 2005

Project

Shaz Qadeer, Sriram Rajamani

MSR-TR-2005-08 | January 2005

Alistair Kennedy, Diana Inkpen

Proceedings of FINEXIN-05, Workshop on the Analysis of Informal and Formal Information Exchange during Negotiations | January 2005

Kent Dybvig, Simon Peyton Jones, Amr Sabry

January 2005

Submitted to Journal of Functional Programming

Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jon Hui, Armando Fox, Michael I. Jordan, David Patterson

ICAC ’05: International Conference on Autonomic Computing | January 2005

Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger

Journal of Logic and Computation | January 2005

Bin Benjamin Zhu, Yang Yang, Chang Wen Chen, Shipeng Li

IEEE Int. Conf. Image Processing 2005 | January 2005

IEEE Int. Conf. Image Processing 2005

Margus Veanes, Colin Campbell, Wolfram Schulte, Pushmeet Kohli

MSR-TR-2005-05 | January 2005

Project

Chris Brockett, Bill Dolan

Third International Workshop on Paraphrasing (IWP2005) | January 2005