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.

Alias Types and Effects for "Environment-aware" Computations.

DAMIANI, Ferruccio;GIACHINO, Elena;
2008-01-01

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.
2008
88
1-2
63
107
http://iospress.metapress.com/content/37pp4414r6263xr2/
Object calculus; type and effect system; alias type
Ferruccio Damiani; Elena Giachino; Paola Giannini
File in questo prodotto:
File Dimensione Formato  
FI-2008.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 312.47 kB
Formato Adobe PDF
312.47 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/59985
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact