Logical Methods in Computer Science

HOME

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