Programming languages and software engineering

Rustan Leino

Information Processing Letters | February 2001

Andy Gordon, Don Syme

MSR-TR-2000-106 | January 2001

ISBN: 1-58113-336-7

Proceedings of Sixteenth Conference on Uncertainty in Artificial Intelligence, ® Stanford, CA

Yuri Gurevich, Nikolai Tillmann

Springer J. of Universal Computer Science | January 2001

Simon Peyton Jones, Norman Ramsey

January 2001

Ethan Jackson, Nikolaj Bjørner, Wolfram Schulte

ICLP | January 2001

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann

Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001) | January 2001

ISBN: 0-7695-1287-9

Project

David G. Messerschmitt, Clemens Szyperski

MSR-TR-2001-11 | January 2001

Ludovic Denoyer, Hugo Zaragoza, Patrick Gallinari

23rd European Colloquium on Information Retrieval Research (ECIR’01) | January 2001

Martın Abadi, Cédric Fournet

28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001

Geoffrey Zweig

Johns Hopkins Workshop Presentation | January 2001