Programming languages & software engineering

Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening

Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | January 2011

Max Bolingbroke, Simon Peyton Jones

ICFP | January 2011

Marc Brockschmidt, Carsten Otto, Juergen Giesl

RTA | January 2011

Manish Gupta, Rui Li, Zhijun Yin, Jiawei Han

Social Network Data Analytics | Springer による投稿 | 2011 | Social Network Data Analytics edition

Simon Peyton Jones, Ben Lippmeier, Gabriele Keller

Submitted to ICFP 2011 | January 2011

Tomas Petricek, Don Syme, Alan Mycroft,

Proceedings of Haskell Symposium | January 2011

プロジェクト プロジェクト プロジェクト

Suresh Thummalapenta

Automated Software Engg. | January 2011, 巻18(3-4): pp. 293-323

Brandon Lucia, Benjamin P. Wood, Luis Ceze

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation | January 2011

ISBN: 978-1-4503-0663-8

Francesco Logozzo

Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’11) | January 2011

Proceedings of the 12th Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'11)

プロジェクト

Nick Benton, Patricia Johann

January 2011

Special issue of Logical Methods in Computer Science (LMCS)