some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Special Issue of the Symposium on Principles of Programming Languages 2009
Savannah, Georgia, USA, 2009



Preface
Nick Benton and Patricia Johann


Lazy Evaluation and Delimited Control
Ronald Garcia, Andrew Lumsdaine and Amr Sabry


Automatic Modular Abstractions for Template Numerical Constraints
David Monniaux


Classical BI: Its Semantics and Proof Theory
James Brotherston and Cristiano Calcagno


Positive Supercompilation for a Higher-Order Call-By-Value Language
Peter A. Jonsson and Johan Nordlander


Automated Verification of Practical Garbage Collectors
Chris Hawblitzel and Erez Petrank


A Model of Cooperative Threads
Martín Abadi and Gordon D. Plotkin


Equality Saturation: A New Approach to Optimization
Ross Tate, Michael Stepp, Zachary Tatlock and Sorin Lerner



DOI: 10.2168/LMCS-POPL:2009

Creative Commons