Programming languages and software engineering

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

Michael Levit

Proc. of ICASSP | March 1999

G. Ramalingam

March 1999

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

March 1999

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | February 1999

Galen Hunt, Michael L. Scott

Third Symposium on Operating System Design and Implementation (OSDI) | February 1999

G. Ramalingam, John Field, Frank Tip

POPL ’99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1999

K Wansbrough, Simon Peyton Jones

26th ACM Symposium on Principles of Programming Languages (POPL’99) | January 1999

Submitted to The Twenty-sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'99)

Luca Cardelli, Andy Gordon

POPL ’99 Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1999