In a recent paper we proposed a calculus for modeling dynamic linking independently of the details of a particular programming environment
This paper examines different strategies for linking separately-compiled software modules together a...
Abstract. We present the design and implementation of the first com-plete framework for flexible and...
We present the design and implementation of the first complete framework for flexible and safe dynam...
In a recent paper we proposed a calculus for modeling dynamic linking independently of the details o...
A Calculus for Dynamic Loading We present the load-calculus, used to model dynamic loading, and prov...
We present the load-calculus, used to model dynamic loading, and prove it sound. The calculus extend...
We suggest a model for dynamic loading and linking as in Java. We distinguish five components in a ...
We give a formal semantics for dynamic linking and re-linking of code. The semantics is at source la...
This paper proposes N , a compact extension of the -calculus to model dynamic binding, where variabl...
AbstractBuilding on our previous work, we present a simple module calculus where execution steps of ...
Portability of programs between run-time environments is regarded as a desirable feature by programm...
AbstractDynamic binding is a runtime lookup operation which extracts values corresponding to some “n...
Dynamic linking, as in Java and C#, allows users to execute the most recent versions of software wi...
Component-based programming is an increasingly prevalent theme in software development, motivating t...
The demands of developing modern, highly dynamic applications have led to an increasing interest in ...
This paper examines different strategies for linking separately-compiled software modules together a...
Abstract. We present the design and implementation of the first com-plete framework for flexible and...
We present the design and implementation of the first complete framework for flexible and safe dynam...
In a recent paper we proposed a calculus for modeling dynamic linking independently of the details o...
A Calculus for Dynamic Loading We present the load-calculus, used to model dynamic loading, and prov...
We present the load-calculus, used to model dynamic loading, and prove it sound. The calculus extend...
We suggest a model for dynamic loading and linking as in Java. We distinguish five components in a ...
We give a formal semantics for dynamic linking and re-linking of code. The semantics is at source la...
This paper proposes N , a compact extension of the -calculus to model dynamic binding, where variabl...
AbstractBuilding on our previous work, we present a simple module calculus where execution steps of ...
Portability of programs between run-time environments is regarded as a desirable feature by programm...
AbstractDynamic binding is a runtime lookup operation which extracts values corresponding to some “n...
Dynamic linking, as in Java and C#, allows users to execute the most recent versions of software wi...
Component-based programming is an increasingly prevalent theme in software development, motivating t...
The demands of developing modern, highly dynamic applications have led to an increasing interest in ...
This paper examines different strategies for linking separately-compiled software modules together a...
Abstract. We present the design and implementation of the first com-plete framework for flexible and...
We present the design and implementation of the first complete framework for flexible and safe dynam...
DOI
Add to ORKG