Sfoglia per Rivista ACM SIGPLAN NOTICES
Mostrati risultati da 1 a 5 di 5
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Analyzing Program Analyses
2015-01-01 Giacobazzi, Roberto; Logozzo, F.; Ranzato, F.
Principles of POPL
2013-01-01 Dreyer, Derek; Field, John; Giacobazzi, Roberto; Hicks, Michael; Jagannathan, Suresh; Sagiv, Mooly; Sewell, Peter; Wadler, Philip
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation | 1-gen-2004 | Giacobazzi, Roberto; Mastroeni, Isabella | |
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella | |
Analyzing Program Analyses | 1-gen-2015 | Giacobazzi, Roberto; Logozzo, F.; Ranzato, F. | |
Principles of POPL | 1-gen-2013 | Dreyer, Derek; Field, John; Giacobazzi, Roberto; Hicks, Michael; Jagannathan, Suresh; Sagiv, Mooly; Sewell, Peter; Wadler, Philip |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile