Alias types and effects for "environment-aware" computations

Ferruccio Damiani, Elena Giachino, Paola Giannini

Risultato della ricerca: Contributo su rivistaArticolo in rivistapeer review

Abstract

We adapt the alias type technology to dealwith primitives supporting environment-awareness (that is, the ability to adapt the behavior of an object according to the capabilities of the environment). In particular, we propose a type and effect system for an imperative object-based calculus with a primitive for discriminating the presence or absence of the object's attributes. Both the shape of the environment which guarantees the correct execution of expressions and the effect of expression evaluation on the environment are specified via suitable aliasing constraints.

Lingua originaleInglese
pagine (da-a)63-107
Numero di pagine45
RivistaFundamenta Informaticae
Volume88
Numero di pubblicazione1-2
Stato di pubblicazionePubblicato - 2008

Fingerprint

Entra nei temi di ricerca di 'Alias types and effects for "environment-aware" computations'. Insieme formano una fingerprint unica.

Cita questo