Programming languages and software engineering

David R. Hanson

MSR-TR-2002-112 | November 2002

Note: Revised April 2003

Don Syme, Andy Gordon

9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002

ISBN: 978-3-540-00010-5 (Print) 978-3-540-36078-0 (Online)

Andreas Blass, Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 2002

Tim Sheard, Simon Peyton Jones

Proceedings of the 2002 Haskell Workshop, Pittsburgh | October 2002

R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv

9th International Symposium, SAS 2002 | September 2002

Frank Hoffmann, James Scott

Proceedings of the Fourth International Conference on Ubiquitous Computing (UbiComp 2002) | September 2002

Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu

Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002

G. Ramalingam

In Proceedings of the SIGPLAN ’00 Conference on Programming Language Design and Implementation | September 2002

September 2002

Rustan Leino

EEF summer school on Specification, Refinement, and Verification Turku, Finland | August 2002