Programming languages & software engineering

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

Proceedings of ATVA 2008 | January 2008

Jamie Shotton, Andrew Blake, Roberto Cipolla

Proc. BMVC | January 2008

Proc. BMVC

Andy Cockburn, Amy Karlson, Benjamin B. Bederson

ACM Computing Surveys, ACM Surveys | January 2008

ACM Surveys

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

Proc ACM Workshop on Declarative Aspects of Multicore Programming | January 2008

Proc ACM Workshop on Declarative Aspects of Multicore Programming

Diwaker Gupta, Kashi Vishwanath, Amin Vahdat

Networked Systems Design and Implementation (NSDI) | January 2008

Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer

SIAM Journal on Computing | January 2008, Vol 37(5): pp. 1342-1372

Ethan Jackson, Wolfram Schulte

Software Composition | January 2008

ISBN: 978-3-540-78788-4

Project

Francesco Logozzo, Manuel Fahndrich

Proceedings of the International Conference on Compiler Construction | January 2008

Project

Amit Pathak, Soumen Chakrabarti, Manish Gupta

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008

Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)

Nikolai Tillmann, Jonathan "Peli" de Halleux

TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008

ISBN: 978-1-60558-053-1

Project Project