CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe define an operational semantics for a large part of the Androidplatform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism usedinside Android applications. This semantics is intended to providea formal basis for the development of static analyses that considerthe complex flow of information exposed by the cooperating components of Android applications.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11562/659959| Titolo: | An Operational Semantics for Android Activities |
| Autori interni: | SPOTO, Nicola Fausto |
| Data di pubblicazione: | 2014 |
| Abstract: | We define an operational semantics for a large part of the Androidplatform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism usedinside Android applications. This semantics is intended to providea formal basis for the development of static analyses that considerthe complex flow of information exposed by the cooperating components of Android applications. |
| Handle: | http://hdl.handle.net/11562/659959 |
| ISBN: | 9781450326193 |
| 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.
Copyright © 2017