Programming languages & software engineering

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

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

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)