D. Ancona and E. Moggi
A fresh calculus for names
management
In G. Karsai and E. Visser, editors, Generative Programming and
Component Engineering, volume 3286 of Lecture Notes in Computer
Science Springer, October 2004
We define a basic calculus MLN for manipulating symbolic names
inspired by both the nuBox calculus of Nanevski and Pfenning and
the CMS calculus of Ancona and Zucca. The resulting calculus
provides a smooth integration of the peculiar features of nuBox and
CMS, namely the use of symbolic names for meta-programming and
programming in-the-large, and overcomes several deficiencies of these
two calculi.
We present two different extensions of the basic calculus, the first
consider the interaction between linking and computational effects (in
the form of imperative computations), the second shows how CMS can
be naturally encoded into MLN.
A posteriori the calculus appears related to lambda-calculi with
extensible records, and able to model some aspects of the mechanism of
Java class loaders.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43