Some proposal for dealing with various kinds of side effects are presented. We suggest that qlobals should be used only in a controlled way, and we show how the correct use of qlobals can be verified by the standard type checker, without requiring any "ad hoc" tool, by adding to the type of a procedure a list of its qlobals. Furthermore, to control aliasing, we introduce a scope mechanism and we propose to associate with each identifier an attribute specifying how the object denoted by it will be used.
Language constructs for controlling side effects: a proposal
Asirelli P;
1978
Abstract
Some proposal for dealing with various kinds of side effects are presented. We suggest that qlobals should be used only in a controlled way, and we show how the correct use of qlobals can be verified by the standard type checker, without requiring any "ad hoc" tool, by adding to the type of a procedure a list of its qlobals. Furthermore, to control aliasing, we introduce a scope mechanism and we propose to associate with each identifier an attribute specifying how the object denoted by it will be used.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_434185-doc_155172.pdf
solo utenti autorizzati
Descrizione: Language constructs for controlling side effects: a proposal
Dimensione
10.23 MB
Formato
Adobe PDF
|
10.23 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
