We outline a type and effect system which infers sharing possibly introduced by the evaluation of an expression. In this way, expressions get very expressive types, which generalize notions enforced in literature by type modifiers. Sharing is directly represented at the syntactic level as a relation among free variables, thanks to the fact that the underlying calculus is pure. That is, imperative features are modeled by just rewriting source code terms.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | A type and effect system for sharing | |
Autori: | ||
Data di pubblicazione: | 2017 | |
Handle: | http://hdl.handle.net/11567/887200 | |
ISBN: | 9781450344869 | |
Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |
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.