Programming languages and software engineering

Anish Arora, Wilf Russell, Yi-Min Wang

MSR-TR-2000-07 | February 2000

Thomas Ball, Sriram Rajamani

MSR-TR-2000-14 | February 2000

Published by Microsoft

Project

Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller

Computer Communications | January 2000

Yuri Gurevich, Alexander Rabinovich

Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958

Simon Peyton Jones

ACM SIGPLAN ’00 Conference on Programming Language Design and Implementation (PLDI) | January 2000

Johan Jonasson, Oded Schramm

Electron. Comm. Probab. | January 2000, Vol 5: pp. 85-90

Harald Ganzinger, Florent Jacquemard, Margus Veanes

International Journal of Foundations of Computer Science | January 2000, pp. 3-27

Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett

Abstract State Machines | January 2000

Abstract State Machines

ISBN: 3-540-67959-6

Project

Simon Marlow, Simon Peyton Jones

ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | January 2000

ISBN: 1-58113-202-6

Janyce M. Wiebe

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence | January 2000

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence

ISBN: 0-262-51112-6