Programming languages and software engineering

Andy Gordon, Alan Jeffrey

Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001) | November 2001

Mike Barnett, Wolfram Schulte

Informatica | November 2001, Vol 25(4): pp. 517-526

Project

Andy Gordon

Chapter FOSAD 2000: Foundations of Security Analysis and Design, in Lecture Notes in Computer Science (LNCS)

Published by Springer, Berlin, Heidelberg | October 2001, Vol 2171

ISBN: 978-3-540-42896-1 (Print) 978-3-540-45608-7 (Online)

Jong-Deok Choi, John H Field, G. Ramalingam, Frank Tip

October 2001

Mike Barnett, Wolfram Schulte

Workshop on Specification and Verification of Component-Based Systems | October 2001

Published as Iowa State Technical Report 01-09a

Claudio Russo

ICFP ’01 Proceedings of the sixth ACM SIGPLAN international conference on Functional programming | October 2001

ISBN: 1-58113-415-0

Rustan Leino, Greg Nelson

ACM Transactions on Programming Languages and Systems | October 2001

Ben Bradshaw, John Platt, Bernhard Scholkopf

MSR-TR-2001-99 | October 2001

David Bargeron, Jonathan Grudin, Anoop Gupta

MSR-TR-2001-90 | October 2001