Sfoglia per Autore
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
2022-01-01 De Angelis, E.; Proietti, M.; Fioravanti, F.; Pettorossi, A.
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
2023-01-01 De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
2024-01-01 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses | 2022 | De Angelis, E.; Proietti, M.; Fioravanti, F.; Pettorossi, A. | |
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions | 2023 | De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M. | |
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) | 2024 | Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele |
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