Il sistema di tipi per il calcolo di ambienti M3 viene presentato in una nuova formulazione che permette di derivare il tipo di un termine in base ad un insieme minimale di assunzioni di mobilità. Da esso viene quindi ricavato un algoritmo di inferenza di tipi del quale viene descritta l'implementazione in Prolog.
Type Inference for Mobile Ambients in Prolog
GIOVANNETTI, Elio
2004-01-01
Abstract
Il sistema di tipi per il calcolo di ambienti M3 viene presentato in una nuova formulazione che permette di derivare il tipo di un termine in base ad un insieme minimale di assunzioni di mobilità. Da esso viene quindi ricavato un algoritmo di inferenza di tipi del quale viene descritta l'implementazione in Prolog.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
