Programming languages & software engineering

Nick Benton

March 2003

March 2003

Dinei Florencio, Patrice Simard

DCC | March 2003

Brannon Batson, Leslie Lamport

Formal Methods for Components and Objects | March 2003

Jim Gray, Richard Waymire

March 2003

March 2003

Viktor Kuncak, Rustan Leino

AVIS 2003 | February 2003

Nicholas J. A. Harvey, Mike Jones, Marvin Theimer, Alec Wolman

In Proceedings of Second International Workshop on Peer-to-Peer Systems (IPTPS ’03) | February 2003

Jorgen Thelin

February 2003

February 2003

Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl

MSR-TR-2003-06 | February 2003

Cristiano Calcagno, Luca Cardelli, Andy Gordon

MSR-TR-2002-113 | January 2003

Published by Microsoft

A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003.

Access

Cormac Flanagan, Shaz Qadeer

TLDI ’03 Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation | January 2003