Programming languages and software engineering

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

Yuri Gurevich, Wolfram Schulte, Charles Wallace

Abstract State Machines | January 2000

ISBN: 3-540-67959-6

Changning Huang, Zhou Ming, Lei Zhang

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

Zhendong Su, Manuel Fahndrich, Alexander Aiken

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

Thomas Eiter, Georg Gottlob, Yuri Gurevich

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

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

Luca Cardelli, Andy Gordon

POPL 2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2000

ISBN: 1-58113-125-9

A. S. Szalay, Peter Kunszt, Anirudha Thakar, Jim Gray, Don Slutz

ADASS | December 1999