In the age of the world-wide web and mobile computing, programming communication-
centric software is essential. Thus, programmers and program designers are exposed to …

One of the problems facing developers is the constant evolution of components that are
used to build applications. This evolution is typical of any multi-person or multi-site software …

Software deployment is a complex process, and industrial-strength frameworks such as.
NET, Java, and CORBA all provide explicit support for component deployment. However …

This paper presents a Java-like core language with primitives for object-oriented distribution
and explicit code mobility. We apply our formulation to prove the correctness of several …

The distributed development and maintenance paradigm for component delivery is fraught
with problems. One wants a relationship between developers and clients that is autonomous …

We introduce a computational interpretation for Hilbert's choice operator (ε). This
interpretation yields a typed foundation for dynamic linking in software systems. The use of …

Module systems are well known as a means for giving clear interfaces for the static linking of
code. This paper shows how adding explicit interfaces to modules for 1) dynamic linking and …

This paper presents an object-oriented, Java-like core language with primitives for
distributed programming and explicit code mobility. We apply our formulation to prove the …

An Approach to the Dynamic Evolution of Software Systems Page 1 An Approach to the Dynamic
Evolution of Software Systems Manuel Oriol June 28th, 2006 Page 2 April 20th, 2004 An …

We define a calculus for modeling dynamic linking independently of the details of a
particular programming environment. The calculus distinguishes at the language level the …