An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language / Galletta L.; Levi G.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - 61(2011), pp. 81-95. ((Intervento presentato al convegno International Workshop on Automated Specification and Verification of Web Systems.
Titolo: | An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language |
Autori interni: | |
Anno del prodotto: | 2011 |
Rivista: | |
Handle: | http://hdl.handle.net/11568/666067 |
Appare nelle tipologie: | 4.1 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.