Programming languages and software engineering

Emery D. Berger, Ben Zorn, Kathryn McKinley

MSR-TR-2000-113 | April 2001

Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers

MSR-TR-2001-38 | March 2001

Nicolas Bruno, Surajit Chaudhuri, Luis Gravano

MSR-TR-2001-36 | March 2001

Published by Microsoft

Project Project

David Tarditi

February 2001

Colin Campbell, Yuri Gurevich

Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001) eds. R. Moreno-Diaz and A. Quesada-Arencibia, Universidad de Las Palmas de Gran Canaria Canary Islands, Spain | February 2001

Erhard Rahm, Phil Bernstein

MSR-TR-2001-17 | February 2001

Project

Dan Geiger, Chris Meek

MSR-TR-98-10 | February 2001

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

EUROCAST 2001 | February 2001

Project

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