A Calculus for Dynamic Loading

Abstract

We present the load-calculus, used to model dynamic loading, and prove it sound. The calculus extends the polymorphic λ-calculus with a load primitive that dynamically loads terms that are closed, with respect to values. The calculus is meant to approximate the process of dynamic loading in TAL/Load [4], an version of Typed Assembly Language [7] extending… (More)

Topics

4 Figures and Tables

Cite this paper

@inproceedings{Hicks2001ACF, title={A Calculus for Dynamic Loading}, author={Michael Hicks and Stephanie Weirich}, year={2001} }