Programming languages and software engineering

Mike Barnett, Rustan Leino, Wolfram Schulte

CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices | January 2005

CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices

Project

Alexander Zien, Joaquin Quiñonero Candela

Proceedings of the 22nd International Conference on Machine Learning | January 2005

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

Journal of Logic and Computation | January 2005

Chris J.C. Burges

Data Mining and Knowledge Discovery Handbook: A Complete Guide for Practitioners and Researchers | January 2005

Henrique S. Malvar

MSR-TR-2005-02 | January 2005

Yejin Choi, Claire Cardie, Ellen Riloff, Siddharth Patwardhan

Proceedings of HLT-EMNLP-05, the Human Language Technology Conference/Conference on Empirical Methods in Natural Language Processing | January 2005

Janyce Wiebe, Theresa Wilson, Claire Cardie

Language Resources and Evaluation | January 2005, Vol 1: pp. 0-0

Juan Chen, David Tarditi

ACM Symposium on Principles of Programming Languages (POPL 05) | January 2005

Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones

ACM SIGPLAN International Conference on Functional Programming (ICFP’05) | January 2005

Kent Dybvig, Simon Peyton Jones, Amr Sabry

January 2005

Submitted to Journal of Functional Programming