1. Special Issue on Programming Languages and Systems

   • Zhenjiang Hu

   Preface 16 February 2011 Pages: 1 - 2

2. Weak Updates and Separation Logic

   • Gang Tan
   • Zhong Shao
   • Hongxu Cai

   OriginalPaper 16 February 2011 Pages: 3 - 29

3. A Short Cut to Optimal Sequences

   • Akimasa Morihata

   OriginalPaper 16 February 2011 Pages: 31 - 59

4. Classical Natural Deduction for S4 Modal Logic

   • Daisuke Kimura
   • Yoshihiko Kakutani

   OriginalPaper 16 February 2011 Pages: 61 - 86

5. On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints

   • Stefan Wehr
   • Peter Thiemann

   OriginalPaper 16 February 2011 Pages: 87 - 124