Programming languages & software engineering

Byron Cook, Jasmin Fisher, Ben Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Computer Aided Verification (CAV) | January 2014

Computer Aided Verification (CAV)

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Juergen Giesl

TACAS | January 2014

TACAS

Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Santiago Zanella-Béguelin, Nikhil Swamy

41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014 | January 2014

To appear

Tomas Petricek, Don Syme

Proceedings of Practical Aspects of Declarative Languages | January 2014

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

Sumit Gulwani

Invited talk at ASSESS 2014 | January 2014

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Steffi Swiderski, René Thiemann

IJCAR | January 2014

Lior Shapira, Ran Gal, Pushmeet Kohli, Eyal Ofek

January 2014

Manuel Fähndrich

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation | January 2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

ISBN: 978-1-4503-2619-3

プロジェクト

Gary T. Leavens, Rustan Leino, Peter Müller

Formal Aspects of Computing | January 2014

Rishabh Singh, Rohit Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama

Proceedings of 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014) | January 2014

Proceedings of 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)