Logical Methods in Computer Science, Special Issue 15

Special Issue of the Symposium on Principles of Programming Languages 2009 [POPL 2009]

• Ronald Garcia, Andrew Lumsdaine, Amr Sabry:
  Lazy Evaluation and Delimited Control.
  
• David Monniaux:
  Automatic Modular Abstractions for Template Numerical Constraints.
  
• James Brotherston, Cristiano Calcagno:
  Classical BI: Its Semantics and Proof Theory.
  
• Peter A. Jonsson, Johan Nordlander:
  Positive Supercompilation for a Higher-Order Call-By-Value Language.
  
• Chris Hawblitzel, Erez Petrank:
  Automated Verification of Practical Garbage Collectors.
  
• Martín Abadi, Gordon D. Plotkin:
  A Model of Cooperative Threads.
  
• Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner:
  Equality Saturation: A New Approach to Optimization.
  

Last update Sat May 25 16:34:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page