Programming languages and software engineering

Jim Gray, Richard Waymire

March 2003

Viktor Kuncak, Rustan Leino

AVIS 2003 | February 2003

Laszlo Lovasz, Katalin Vesztergombi, Uli Wagner, Emo Welzl

MSR-TR-2003-06 | February 2003

Jorgen Thelin

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

Cormac Flanagan, Shaz Qadeer

TLDI ’03 Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation | January 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

Sumit Gulwani, George C. Necula

POPL’03, January 15-17, 2003, New Orleans, Louisiana, USA | January 2003

Project

Butler Lampson

Journal of the ACM | January 2003, Vol 50(1): pp. 70-72

Mike Barnett, Wolfram Schulte

The Journal of Systems and Software | January 2003, Vol 65(3): pp. 199-208

Project