Programming languages and software engineering

Andreas Blass, Yuri Gurevich

IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. | January 1994

Jim Gray, Prakash Sundaresan, Susanne Englert, Ken Baclawski, Peter J. Weinberger

January 1994

Martin Abadi, Luca Cardelli

Ninth Annual IEEE Symposium on Logic in Comptuer Science, Paris, France | January 1994

R. Brockett, A. Blake, Andrew Blake

Proc. IEEE CDC Conf. | January 1994

Proc. IEEE CDC Conf.

F.W. Tompa, G.E. Blake, M.P. Consens, P. Kilpelainen, Paul Larson, T. Snider

January 1994

Luca Cardelli

January 1994, pp. 373-425

Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

Yuri Gurevich, Neil Immerman, Saharon Shelah

Symposium on Logic in Computer Science, IEEE Computer Society Press | January 1994

Paulo Guedes, Miguel Castro

Fourth Workshop on Workstation Operating Systems | October 1993

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 1993

Rich Draves

MSR-TR-93-17 | October 1993