Programming languages and software engineering

Alexander Aiken, Manuel Fahndrich, Zhendong Su

Proceedings of the 1st Conference on Tools and Algorithms for the Analysis and Construction of Systems | March 1998

Proceedings of the 1st Conference on Tools and Algorithms for the Analysis and Construction of Systems

Yuri Gurevich

Information and Computation | February 1998

Joe Barrera, Ken Birman, Dan Dumitriu, Rod Gamache, Mike Massa, Rob Short, John Vert, Werner Vogels

January 1998

Johannes Helander, Alessandro Forin

MSR-TR-98-53 | January 1998

Project

Andrew Blake, B. Bascle, Michael Isard, J. MacCormick

Phil. Trans. R. Soc. A. | January 1998, Vol 356: pp. 1283-1302

Erich Grädel, Yuri Gurevich, Colin Hirsch

1998 ACM Symposium on Principles of Database Systems (PODS’98). | January 1998

Giuseppe Del Castillo, Yuri Gurevich, Karl Stroetmann

January 1998

Simon Peyton Jones, Norman Ramsey

MSR-TR-1998-1 | January 1998

Simon Marlow, Simon Peyton Jones

January 1998

Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré

Information Processing Letters | January 1998