Programming languages and software engineering

Francesco Logozzo, Agostino Cortesi

Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool’05), | January 2005

Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),

Nikolai Tillmann, Wolfram Schulte

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005

ISBN: 1-59593-014-0

Project Project

Nikolai Tillmann, Wolfram Schulte

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering

ISBN: 1-59593-014-0

Project Project

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