Programming languages and software engineering

Andreas Blass, Yuri Gurevich

Proceedings of CSL’2000, Springer Lecture Notes in Computer Science | January 2000

Stan Z. Li, Kap Luk Chan, Changliang Wang

January 2000

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

Johan Jonasson, Oded Schramm

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

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

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

Computer Communications | January 2000

Rajeev Joshi, Rustan Leino

Science of Computer Programming | January 2000

Yuri Gurevich, Wolfram Schulte, Charles Wallace

Abstract State Machines | January 2000

ISBN: 3-540-67959-6

Thomas Eiter, Georg Gottlob, Yuri Gurevich

Journal of the ACM, | January 2000, Vol 47(1): pp. 77-131