Alias Types and Effects for "Environment-aware" Computations. - Damiani, Ferruccio; Giachino, Elena; Giannini, Paola (Fundamenta Informaticae, 2008)