Programming languages & software engineering

Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller

Computer Communications | January 2000

Simon Peyton Jones

ACM SIGPLAN ’00 Conference on Programming Language Design and Implementation (PLDI) | January 2000

Johan Jonasson, Oded Schramm

Electron. Comm. Probab. | January 2000, 第 5 卷: pp. 85-90

Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett

Abstract State Machines | January 2000

Abstract State Machines

ISBN: 3-540-67959-6

项目

Harald Ganzinger, Florent Jacquemard, Margus Veanes

International Journal of Foundations of Computer Science | January 2000, pp. 3-27

Janyce M. Wiebe

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence | January 2000

Proceedings of AAAI-00, 17th Conference of the American Association for Artificial Intelligence

ISBN: 0-262-51112-6

Simon Marlow, Simon Peyton Jones

ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | January 2000

ISBN: 1-58113-202-6

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

Rajeev Joshi, Rustan Leino

Science of Computer Programming | January 2000

Changning Huang, Zhou Ming, Lei Zhang

January 2000