Programming languages and software engineering

Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett

Abstract State Machines | January 2000

Abstract State Machines

ISBN: 3-540-67959-6

Project

Harald Ganzinger, Florent Jacquemard, Margus Veanes

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

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

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

Martın Abadi, Cédric Fournet, Georges Gonthier

To appear in the Proceedings of the 27th ACM Symposium on Principles of Programming Languages (January 2000) | January 2000

Rajeev Joshi, Rustan Leino

Science of Computer Programming | January 2000

Changning Huang, Zhou Ming, Lei Zhang

January 2000

Zhendong Su, Manuel Fahndrich, Alexander Aiken

Proceedings POPL 2000, 27’th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2000

Yuri Gurevich, Wolfram Schulte, Charles Wallace

Abstract State Machines | January 2000

ISBN: 3-540-67959-6

P.W. Trinder, H-W. Loidl, E. Barry, K. Hammond, U. Klusik, Simon Peyton Jones

Euro-Par 2000 “” Parallel Processing | January 2000

Euro-Par 2000 — Parallel Processing