Ugo de'Liguoro and Giuseppe Falzetta
Effect system for BoCa: a Prolog
implementation
2005
We describe a Prolog implementation of an algorithm deriving types and sets of constraints
for the Effect system of the calculus BoCa [86], a dialect of MA.
Both type and constraints are inferred given a process term and a context,
declaring the capacities of the free ambient names in the term.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43