1. Cognitive Support for the Organization of Writing

   • Hirohito Shibata
   • Koichi Hori

   OriginalPaper 01 May 2008 Pages: 97 - 124

2. A New Type System for JVM Lock Primitives

   • Futoshi Iwama
   • Naoki Kobayashi

   OriginalPaper 01 May 2008 Pages: 125 - 170

3. Abstraction-Carrying Code: a Model for Mobile Code Safety

   • Elvira Albert
   • Germán Puebla
   • Manuel Hermenegildo

   OriginalPaper 01 May 2008 Pages: 171 - 204