Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Static analysis for dummies: experiencing LiSA
2021-01-01 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
Twinning Automata and Regular Expressions for String Static Analysis
2021-01-01 Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri V.Olliaro M.Cortesi A. + | 4.1 Articolo in Atti di convegno | - | |
| Static analysis for dummies: experiencing LiSA | 1-gen-2021 | Ferrara, PietroNegrini, LucaArceri, VincenzoCortesi, Agostino | 4.1 Articolo in Atti di convegno | - | |
| Twinning Automata and Regular Expressions for String Static Analysis | 1-gen-2021 | Negrini, LucaArceri, VincenzoFerrara, PietroCortesi, Agostino | 4.1 Articolo in Atti di convegno | - | |
| Completeness of string analysis for dynamic languages | 1-gen-2021 | Arceri V.Olliaro M.Cortesi A. + | 2.1 Articolo su rivista | - | |
| Relational String Abstract Domains | 1-gen-2022 | Arceri V.Olliaro M.Cortesi A.Ferrara P. | 4.1 Articolo in Atti di convegno | - |
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