Programming languages & software engineering

Nachi Nagappan, Thomas Ball

MSR-TR-2006-03 | January 2006

プロジェクト

Samuel Ieong, Yoav Shoham

Proceedings of ACM Electronic Commerce (ACM-EC) | January 2006

Nikolai Tillmann, Wolfram Schulte

Electr. Notes Theor. Comput. Sci. | January 2006, 巻144(3): pp. 3-26

プロジェクト プロジェクト プロジェクト

Wolfram Schulte

ICFEM | January 2006

ISBN: 3-540-47460-9

プロジェクト

Josh Berdine, Peter W. O'Hearn

Electronic Notes in Theoretical Computer Science | January 2006, 巻158: pp. 81-98

Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers

Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006

Proceedings of the 33rd Annual International Symposium on Computer Architecture

ISBN: 0-7695-2608-X

Lucy Vanderwende, Arul Menezes, Rion Snow

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006

Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop

Kunal Agrawal, Yuxiong He, Wen-Jing Hsu, Charles E. Leiserson

PPOPP | January 2006

Simon Peyton Jones

European Symposium on Programming, ESOP | January 2006

European Symposium on Programming, ESOP

Ghinwa Choueiter, Daniel Povey, Stanely F. Chen, Geoffrey Zweig

Proceedings of ICASSP | January 2006

Proceedings of ICASSP