Programming languages and software engineering

Nicolas Bruno, Surajit Chaudhuri

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

Project

Colin Campbell, Margus Veanes

Abstract State Machines 2005 | January 2005

Project Project

Tom Minka

MSR-TR-2005-173 | January 2005

R. Manevich, E. Yahav, G. Ramalingam, M. Sagiv

Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2005) | January 2005

Matthew J. Parkinson

January 2005

January 2005

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

Gavin Bierman, Erik Meijer, Wolfram Schulte

ECOOP | January 2005

ISBN: 3-540-27992-X

Geoffrey Zweig

Proceedings of ICASSP | January 2005

Moshe Babaioff, William E. Walsh

Decision Support Systems (DSS) | January 2005, Vol 39: pp. 123-149

Robert DeLIne

Workshop on Visual Languages and Computation | January 2005

Gina Venolia

January 2005