RANZATO, FRANCESCO
RANZATO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Local Completeness in Abstract Interpretation
2023 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Preface SAS 2017
2017 Ranzato, Francesco
Static analysis, abstract interpretation and verification in (constraint logic) programming
2010 Delzanno, G; Giacobazzi, R; Ranzato, Francesco
Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
---|---|---|---|---|---|
Local Completeness in Abstract Interpretation | 2023 | Ranzato, Francesco + | - | INTELLIGENT SYSTEMS REFERENCE LIBRARY | Challenges of Software Verification |
Preface SAS 2017 | 2017 | RANZATO, FRANCESCO | - | - | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Static analysis, abstract interpretation and verification in (constraint logic) programming | 2010 | RANZATO, FRANCESCO + | - | - | A 25-Year Perspective onf Logic Programming |