Programming languages & 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

Bart Jacobs, Rustan Leino, Frank Piessens, Wolfram Schulte

SEFM | January 2005

ISBN: 0-7695-2435-4

Project

Chris J.C. Burges

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

Simon Peyton Jones

POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages | January 2005

ISBN: 1-58113-830-X

Manuel Chakravarty, Gabriele Keller, Simon Peyton Jones

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

Matthew J. Parkinson

January 2005

January 2005

http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-654.html

Alexander Zien, Joaquin Quiñonero Candela

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

Jure Leskovec, Natasa Milic-Frayling, Marko Grobelnik

MSR-TR-2005-07 | January 2005

Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes

MSR-TR-2005-04 | January 2005

A short version appears in: FATES 2005, LNCS vol. 3997, pp. 32-46

Project

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Project Project