Programming languages & software engineering

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

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

Juan Chen, David Tarditi

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

Janyce Wiebe, Ellen Riloff

Proceeding of CICLing-05, International Conference on Intelligent Text Processing and Computational Linguistics. | January 2005

Proceeding of CICLing-05, International Conference on Intelligent Text Processing and Computational Linguistics.

Ellen Riloff, Janyce Wiebe, William Phillips

Proceedings of AAAI-05 , the 20th National Conference on Artificial Intelligence | January 2005

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

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

Yuri Gurevich, Nikolai Tillmann

Theor. Comput. Sci. | January 2005, Vol 336: pp. 311-342

Project Project

Jun Yan, Ning Liu, Benyu Zhang, Shuicheng Yan, Zheng Chen, Qiansheng Cheng, Weiguo Fan, Wei-Ying Ma

28th annual international ACM SIGIR conference on Research and development in information retrieval | January 2005

28th annual international ACM SIGIR conference on Research and development in information retrieval

Tom Minka

MSR-TR-2005-173 | January 2005