Programming languages and software engineering

Rustan Leino, Arnd Poetzsch-Heffter, Yunhong Zhou

PLDI’02, June 17-19, 2002, Berlin, Germany | June 2002

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

10-02 | June 2002

SIGMOD

Milind Mahajan, Ciprian Chelba

MSR-TR-2002-65 | June 2002

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science Number 77 | June 2002

Tom Barclay, Jim Gray, Eric Strand, Steve Ekblad, Jeffrey Richter

MSR-TR-2002-53 | June 2002

Thomas Ball, Todd Millstein, Sriram Rajamani

MSR-TR-2001-10 | June 2002

Janez Brank, Marko Grobelnik, Natasa Milic-Frayling, Dunja Mladenic

MSR-TR-2002-63 | June 2002

Jim Gemmell, Kentaro Toyama

May 2002

Silvano Dal Zilio, Andy Gordon

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

Manuel Fahndrich, Robert DeLIne

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