Programming languages and software engineering

Cormac Flanagan, Shaz Qadeer

PLDI ’03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation | June 2003

Glenn Ammons, David Mandelin, Rastislav Bodik, Jim Larus

Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation | June 2003

Sidharth Jaggi, Philip A. Chou, Kamal Jain, Philip A. Chou

Int’l Symp. Information Theory | June 2003

Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 03) | June 2003

Andy Gordon, Luca Cardelli

Mathematical Structures in Computer Science | June 2003, Vol 13(3): pp. 371-408

Rustan Leino

SPIN’03 Proceedings of the 10th international conference on Model checking software | May 2003

ISBN: 3-540-40117-2

Cormac Flanagan, Shaz Qadeer

SPIN’03 Proceedings of the 10th international conference on Model checking software | May 2003

David Lie, John Mitchell, Chandu Thekkath, Mark Horowitz

Proceedings of the 2003 IEEE Symposium on Security and Privacy | May 2003

Andy Gordon, Alan Jeffrey

Theoretical Computer Science | May 2003, Vol 300(1): pp. 379-409