CONTENTS
Regular Papers
Cognitive Support for the Organization of Writing
H. Shibata and K. Hori
A New Type System for JVM Lock Primitives
F. Iwama and N. Kobayashi
Abstraction-Carrying Code: a Model for Mobile Code Safety
E. Albert, G. Puebla and M. Hermenegildo
|