Programming languages and software engineering

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

Proceedings of the 1999 IEEE Symposium on Security and Privacy | May 1999

Henrique S. Malvar

MSR-TR-99-26 | May 1999

Galen Hunt, Michael L. Scott

Fifth Conference on Object-Oriented Technologies and Systems (COOTS) | May 1999

Andreas Blass, Yuri Gurevich, Saharon Shelah

MSR-TR-99-08 | April 1999

Don Syme

April 1999

ROY L. CROLE, Andy Gordon

Mathematical Structures in Computer Science | April 1999, pp. 125-158

Andy Gordon, Luca Cardelli

FoSSaCS 1999 International Conference on Foundations of Software Science and Computation Structure | March 1999

ISBN: 978-3-540-65719-4 (Print) 978-3-540-49019-7 (Online)

A shortened version of this paper appears in the proceedings of the conference on Foundations of Software Science and Computation Structures, Amsterdam, the Netherlands, 22 – 26 March 1999. The proceedings is published by Springer Verlag as a volume of the series Lecture Notes in Computer Science.

G. Ramalingam, J. Song, L. Joskowicz, R. E. Miller

Algorithmica | March 1999, Vol 23(3): pp. 261-275

Iraj Sodagar, Hung-Ju Lee, Paul Hatrack, Ya-Qin Zhang

March 1999

G. Ramalingam

March 1999