Programming languages and software engineering

Thomas Ball, Todd Millstein, Sriram Rajamani

MSR-TR-2001-10 | June 2002

Jean-Philippe Martin, L. Alvisi, M. Dahlin

10-02 | June 2002

SIGMOD

Jim Gemmell, Kentaro Toyama

May 2002

Uwe Glässer, Yuri Gurevich, Margus Veanes

MSR-TR-2002-55 | May 2002

Project

Manuel Fahndrich, Robert DeLIne

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | May 2002

Silvano Dal Zilio, Andy Gordon

Journal of Functional Programming | May 2002, pp. 229-292

Andreas Blass, Yuri Gurevich, Jan Van den Bussche

MSR-TR-99-95 | April 2002

Witold Charatonik, Andy Gordon, Jean-Marc Talbot

European Symposium on Programming (ESOP’02), volume 2305 of Lecture Notes in Computer Science | April 2002

ISBN: 978-3-540-43363-7 (Print) 978-3-540-45927-9 (Online)

Mike Barnett, Wolfram Schulte

MSR-TR-2002-38 | April 2002

G. Ramalingam

Theoretical Computer Science | April 2002, Vol 277(1-2): pp. 119-147