Programming languages & software engineering

Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings | January 2007

Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings

ISBN: 978-3-540-76636-0

Moshe Babaioff, Nicole Immorlica, David Kempe, Robert Kleinberg

APPROX-RANDOM’07 | January 2007

APPROX-RANDOM'07

Jacob Biehl, Mary Czerwinski, Greg Smith, George Robertson, Brian Bailey

CHI 2007 Conference on Human Factors in Computing Systems | January 2007

Cynthia Sims Parr, Bongshin Lee, Benjamin B. Bederson

Ecological Informatics | January 2007

Ecological Informatics

Yuri Gurevich

V. Diekert, M. Volkov, and A. Voronkov (Eds.): Computer Science – Theory and Applications CSR 2007, 2nd International Symposium on Computer Science in Russia Springer Lecture Notes (2007). | January 2007

Rustan Leino, Rosemary Monahan

In FTfJP ’07: Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs | January 2007

项目

Simon Peyton Jones

January 2007|Submitted to ICFP 2007 版本

Submitted to ICFP 2007

Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, Manuel Chakravarty

January 2007

January 2007

Presented at the Implementing Functional Languages workshop, Sept 2007 (IFL07), but not part of its post-refereed proceedings.

Jun Shao, Min Feng, Bin Benjamin Zhu, Zhenfu Cao

Information Security Conference | January 2007

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte

January 2007