Programming languages and software engineering

Shuvendu Lahiri, Randal E. Bryant

ACM Transactions on Computational Logic (TOCL ’07) | January 2007

Josh Berdine, Byron Cook

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings | January 2007

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

ISBN: 978-3-540-74060-5

Josh Berdine, Byron Cook

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 | January 2007

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007

ISBN: 1-59593-575-4

Yuxiong He, Wen-Jing Hsu

ICPP | January 2007

Jinyu Li

Proc. IEEE Automatic Speech Recognition and Understanding | January 2007

Gang Hua, Paul Viola, Steven Drucker

Computer Vision and Pattern Recognition, 2007. CVPR ’07. IEEE Conference on | January 2007

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

January 2007

Zhaozhong Ni

MSR-TR-2007-171 | January 2007

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

ACM Transactions on Programming Languages and Systems | January 2007

Madan Musuvathi, Shaz Qadeer

MSR-TR-2007-14 | January 2007

Project