Programming languages & software engineering

Ben Livshits, Todd Mytkowicz

MSR-TR-2014-3 | January 2014

Project

Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, José Meseguer

International Conference on Formal Engineering Methods ICFEM 2014 | January 2014

Romil Bansal, Sandeep Panem, Priya Radhakrishnan, Manish Gupta, Vasudeva Varma

Proc. of the 23rd Intl. World Wide Web Conf. (WWW) | January 2014

Proc. of the 23rd Intl. World Wide Web Conf. (WWW)

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, Stephanie Weirich

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2014

ISBN: 978-1-4503-2544-8

Alex Aiken, Aditya Nori, Rahul Sharma

Principles of Programming Languages (POPL) | January 2014

Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan Jackson

From Programs to Systems. The Systems perspective in Computing | Published by Springer Berlin Heidelberg | 2014

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna

Principles of Programming Languages (POPL) | January 2014

Project

Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra

ISSTA 2014: Proceedings of the 2014 International Symposium on Software Testing and Analysis | January 2014

ISBN: 978-1-4503-2645-2

Tomas Petricek, Don Syme

Proceedings of Practical Aspects of Declarative Languages | January 2014

Project Project Project

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

TACAS | January 2014

TACAS