Cognitive Support for the Organization of Writing Hirohito ShibataKoichi Hori OriginalPaper 01 May 2008 Pages: 97 - 124
A New Type System for JVM Lock Primitives Futoshi IwamaNaoki Kobayashi OriginalPaper 01 May 2008 Pages: 125 - 170
Abstraction-Carrying Code: a Model for Mobile Code Safety Elvira AlbertGermán PueblaManuel Hermenegildo OriginalPaper 01 May 2008 Pages: 171 - 204