Alias Types and Effects for "Environment-aware" Computations

We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of 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 object's attributes. Both the shape of environments which guarantees the correct execution of expressions and the effect of expression evaluation on the environment are specified via suitable aliasing constraints. Key words: Object calculus; type and effect system; alias type.

• Type: Journal
• Year: 2008
• Where: FUIN
• Authors: Ferruccio Damiani, Elena Giachino, Paola Giannini
• Keywords: Alias Type Technology, Effect System, FUIN 2008, Imperative Object-based Calculus