Programming languages and software engineering

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

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

Simon Peyton Jones

January 2003 | invited talk at POPL 2003 edition edition

invited talk at POPL 2003