E. Giovannetti
Type inference for Mobile Ambients in
Prolog
In CATS 2004, volume 91 of ENTCS, pages 96-115, 2004
The type system for the ambient calculus M3
is presented in a new form
that derives the type of a term with the minimal set of mobility assumptions,
and is therefore more amenable than the original form to
a translation into a type inference algorithm.
From the new formulation a Prolog program is derived, which
implements a type inference algorithm for M3 analogous
to the one previously specified through formal rules.
The implementation exploits in the standard way
the peculiarities of the logic programming paradigm,
and is therefore, in a sense, more abstract than the
original algorithm's specification itself.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43