Programming languages & software engineering

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)

Ian Wehrman, Josh Berdine

January 2011

Syntax and Semantics of Low-Level Languages, LOLA 2011, Toronto, ON, Canada, June 20, 2011.

Marc Brockschmidt, Thomas Stroeder, Carsten Otto, Juergen Giesl

FoVeOOS | January 2011

FoVeOOS

Xiao Lin Liu, Chong Luo, Feng Wu

Proceedings of IEEE Data Compression Conference (DCC’11) | January 2011

ISBN: 978-1-61284-279-0

Uriel Feige, Moshe Tennenholtz

STOC | January 2011

Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani

SPIE Medical Imaging | January 2011

Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 2011

Guy Golan-Gueta, Nathan Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav, G. Ramalingam

Proc. of OOPSLA | January 2011

Proc. of OOPSLA

Simon Peyton Jones

Haskell ’11: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell | January 2011