Programming languages & software engineering

Eric Horvitz, Paul Koch, Carl Kadie, Andy Jacobs

Proceedings of the Eighteenth Conference on Uncertainty and Artificial Intelligence, Edmonton, Alberta. | July 2002

视频

Simon Peyton Jones, Simon Marlow

Journal of Functional Programming | July 2002, 第 12 卷: pp. 393-434

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

ISSTA 2002 | July 2002

项目 项目

Cormac Flanagan, Rustan Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

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

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

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