Programming languages and software engineering

Butler Lampson

Computer Systems: Theory, Technology, and Applications | Published by Springer Verlag | 2004

ISBN: 978-0-387-21821-2

This paper was written for a symposium in honor of Roger Needham, February 2003. It is based on a keynote address at the 21st International Conference on Software Engineering, Los Angeles, California, 16-22 May 1999.

Jonathan Grudin

January 2004

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux, Jean-François Paiement, Pascal Vincent, Marie Ouimet

Neural Computation | January 2004, Vol 16: pp. 2197-2219

Eric Horvitz

MSR-TR-2003-97 | December 2003

Kentaro Toyama, Bernard Schoelkopf

MSR-TR-2003-64 | December 2003

Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte

Computer Science Colloquium, ETH Zurich | November 2003

Manuel Fahndrich, Rustan Leino

Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003 | November 2003

Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003

Yuri Gurevich

“Foundations of Information and Knowledge Systems” Springer Lecture Notes in Computer Science. | November 2003

Thomas Ball

MSR-TR-2003-86 | November 2003