Programming languages & software engineering

Noam Rinetzky, G. Ramalingam, Mooly Sagiv, Eran Yahav

ACM Transactions on Programming Languages and Systems | January 2007

Zhaozhong Ni

MSR-TR-2007-171 | January 2007

Yuri Gurevich, Margus Veanes, Charles Wallace

Theoretical Computer Science | January 2007, 第 376 卷: pp. 17-29

项目

Manuel Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller

ACM Sigplan Workshop on Declarative Aspects of Multicore Programming | January 2007

Yuri Gurevich, Dirk Leinders, Jan Van den Bussche

11th International Symposium on Database Programming Languages (DBPL 2007). Springer Lecture Notes in Computer Science (2007). | January 2007

Jinyu Li

Proc. IEEE Automatic Speech Recognition and Understanding | January 2007

Satoshi Sekine, Hisami Suzuki

Proceedings of WWW, Banff, Alberta | January 2007

Proceedings of WWW, Banff, Alberta

Josh Berdine, Byron Cook

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007 | January 2007

ISBN: 978-1-59593-633-2

Rustan Leino, Wolfram Schulte

ESOP | January 2007

ISBN: 978-3-540-71314-2

项目

Juan Chen

ACM Symposium on Principles of Programming Languages (POPL 07) | January 2007

ACM Symposium on Principles of Programming Languages (POPL 07)