"Semantica, verifica, analisi e trasformazione del bytecode, Saarbrucken, Germany
27 Marzo 2011 - 27 Marzo 2011
Germania
Una conferenza dal titolo "Semantica, verifica, analisi e trasformazione del byte code" si terrà il 27 marzo 2011 a Saarbruken, in Germania.
Il bytecode, come quello prodotto da compilatori Java o .NET, è diventato un argomento di grande interesse per il mondo industriale e quello accademico. L'interesse dell'industria deriva dal fatto che il bytecode è usato generalmente per dispositivi internet e portatili (smart-card, telefoni, ecc.) applicazioni nelle quali la sicurezza è di fondamentale importanza.
Il bytecode non dipende dal dispositivo e permette un caricamento dinamico di classi, il che fornisce un'ulteriore sfida per l'applicazione di metodi formali. Inoltre, la natura non strutturata del codice e la presenza diffusa dello stack operando costituiscono un'ulteriore difficoltà per l'analisi del bytecode.
Questo workshop si concentrerà su aspetti pratici e teorici di semantica, verifica, analisi, certificazione e trasformazione del bytecode.Per ulteriori informazioni, visitare: http://software.imdea.org/~pierreganty/bytecode2011/(si apre in una nuova finestra)
Il bytecode, come quello prodotto da compilatori Java o .NET, è diventato un argomento di grande interesse per il mondo industriale e quello accademico. L'interesse dell'industria deriva dal fatto che il bytecode è usato generalmente per dispositivi internet e portatili (smart-card, telefoni, ecc.) applicazioni nelle quali la sicurezza è di fondamentale importanza.
Il bytecode non dipende dal dispositivo e permette un caricamento dinamico di classi, il che fornisce un'ulteriore sfida per l'applicazione di metodi formali. Inoltre, la natura non strutturata del codice e la presenza diffusa dello stack operando costituiscono un'ulteriore difficoltà per l'analisi del bytecode.
Questo workshop si concentrerà su aspetti pratici e teorici di semantica, verifica, analisi, certificazione e trasformazione del bytecode.Per ulteriori informazioni, visitare: http://software.imdea.org/~pierreganty/bytecode2011/(si apre in una nuova finestra)