|
Publications of Fabio Fioravanti
|
|
|
This page shows all publications that appeared in the IASI annual research reports.
Authors currently affiliated with the Institute are always listed with the full name.
You can browse through them using either the links of the following line or those associated with
author names.
Show all publications of the year
2015, with author Fioravanti F., in the category ALL
(or show them all): (Items found: 7)
2015 [top]
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, Fundamenta Informaticae 140, 329-355, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses, Theory and Practice of Logic Programming 15, 635-650, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions by program specialization, ACM Symposium on Principles and Practice of Declarative Programming, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, R. 15-08, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, R. 15-07, 2015
- Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, R. 15-09, 2015
- Fioravanti F., Maurizio Proietti, Senni V.: Efficient generation of test data structures using constraint logic programming and program transformation, Journal of Logic and Computation 25, 1263-1283, 2015
|
|
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
|
