|
|
|
 |
 |
|
| |
Notiziario Marketpress di
Giovedì 02 Dicembre 2010 |
|
| |
|
|
| |
"SEMANTICA, VERIFICA, ANALISI E TRASFORMAZIONE DEL BYTECODE
|
|
| |
|
|
| |
Saarbrucken, 2 dicembre 2010 - 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/ |
|
| |
|
|
| |
<<BACK |
|
|
|
|
|
|
|
