We have found many programming problems for which neither procedural nor object-
oriented programming techniques are sufficient to clearly capture some of the important …

1 Jean Claude Derniame Software process technology is an emerging and strategic area
that has already reached a reasonable degree of maturity, delivering products and …

Ownership types provide a statically enforceable way of specifying object encapsulation and
enable local reasoning about program correctness in object-oriented languages. However …

Dynamic code evolution is a technique to update a program while it is running. In an object-
oriented language such as Java, this can be seen as replacing a set of classes by new …

Persistent object stores require a way to automatically upgrade persistent objects, to change
their code and storage representation. Automatic upgrades are a challenge for such …

Modern generational garbage collectors look for garbage among the young objects,
because they have high mortality; however, these objects include the very youngest objects …

Making software reliable is one of the most important technological challenges facing our
society today. This thesis presents a new type system that addresses this problem by …

Dynamic code evolution is a technique to update a program while it is running. In an object-
oriented language such as Java, this can be seen as replacing a set of classes by new …

There are increasing numbers of systems and research projects involving software agents
and mobile agents. However, there is no reference model or conceptual framework to …

This article argues that the mobile agent approach is well suited for sporadic communication
in open distributed systems, especially for rather''loose''cooperations across local and …