36. POPL 2009:
Savannah, GA, USAZhong Shao, Benjamin C. Pierce (Eds.):
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009.
ACM 2009, ISBN 978-1-60558-379-2
- Tim Harris:
Language constructs for transactional memory.
Static analysis I
Static analysis II
Static analysis III
Last update Sun May 19 23:27:47 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Naoki Kobayashi:
Types and higher-order recursion schemes for verification of higher-order programs.
- Tom Ridge:
Verifying distributed systems: the operational approach.
- Chris Hawblitzel, Erez Petrank:
Automated verification of practical garbage collectors.