dblp.uni-trier.de www.uni-trier.de

37. POPL 2010: Madrid, Spain

Manuel V. Hermenegildo, Jens Palsberg (Eds.): Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. ACM 2010, ISBN 978-1-60558-479-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited talk

Concurrency

Static analysis I

Verified compilers

Type inference

Invited talk

Reasoning about programs

Static analysis II

Verification

Types

Program synthesis

Relating and integrating static and dynamic checks

Compilers

Security and ownership

Medley

Copyright © Fri Mar 12 17:20:01 2010 by Michael Ley (ley@uni-trier.de)