1392 search results - page 1 / 279 » A Calculus for Dynamic Linking |
ICTCS
2003
Springer
13 years 9 months ago
2003
Springer
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 notion...
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
ESOP
2000
Springer
13 years 8 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
IJMMSC
2010
12 years 11 months ago
2010
Using the diagrammatic calculus for Soergel bimodules, developed by B. Elias and M. Khovanov, as well as Rasmussen's spectral sequence, we construct an integral version of HO...