some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

      Issue 1

      Issue 2

      Issue 3

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

CONTACT

VOLUME 6, ISSUE 3 (in Progress)


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


2. Size-Change Termination, Monotonicity Constraints and Ranking Functions
  Amir M. Ben-Amram


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


4. Automatic Modular Abstractions for Template Numerical Constraints
  David Monniaux


Creative Commons