Programming languages and software engineering

Rustan Leino, Arnd Poetzsch-Heffter, Yunhong Zhou

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

G. Ramalingam, Alex Warshavsky, John Field, Deepak Goyal, Mooly Sagiv

PLDI ’02 Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation | June 2002

Milind Mahajan, Ciprian Chelba

MSR-TR-2002-65 | June 2002

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

MSR-TR-2002-53 | June 2002

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

MSR-TR-2002-63 | June 2002

Thomas Ball, Todd Millstein, Sriram Rajamani

MSR-TR-2001-10 | June 2002

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

10-02 | June 2002

SIGMOD

Yuri Gurevich

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

Jim Gemmell, Kentaro Toyama

May 2002

Uwe Glässer, Yuri Gurevich, Margus Veanes

MSR-TR-2002-55 | May 2002

Project