E-LIB Suche - Ergebnisse für: Fioravanti, Fabio

1

A Historical Perspective on Program Transformation and Rece..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Pettorossi, Alberto ; Proietti, Maurizio ; Fioravanti, Fabio. - p. 16-38 , 2024

Link: https://dl.acm.org/doi/1..

2

Constrained Horn Clauses Satisfiability via Catamorphic Abs..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 39-57 , 2023

Link: https://doi.org/10.1007/..

3

Multiple Query Satisfiability of Constrained Horn Clauses:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 125-143 , 2023

Link: https://doi.org/10.1007/..

4

Verifying Catamorphism-Based Contracts using Constrained Ho..:

DE ANGELIS, EMANUELE ; PROIETTI, MAURIZIO ; FIORAVANTI, FABIO.
Theory and Practice of Logic Programming. 22 (2022) 4 - p. 555-572 , 2022

Link: https://doi.org/10.1017/..

5

Satisfiability of constrained Horn clauses on algebraic dat..:

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto.
Journal of Logic and Computation. 32 (2022) 2 - p. 402-442 , 2022

Link: https://doi.org/10.1093/..

6

Analysis and Transformation of Constrained Horn Clauses for..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; GALLAGHER, JOHN P....
Theory and Practice of Logic Programming. 22 (2021) 6 - p. 974-1042 , 2021

Link: https://doi.org/10.1017/..

7

Removing Algebraic Data Types from Constrained Horn Clauses..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 83-102 , 2020

Link: https://doi.org/10.1007/..

8

Property-Based Test Case Generators for Free:

, In: Tests and Proofs; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Palacios, Adrián.. - p. 186-206 , 2019

Link: https://doi.org/10.1007/..

9

Solving Horn Clauses on Inductive Data Types Without Induct..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; PETTOROSSI, ALBERTO.
Theory and Practice of Logic Programming. 19 (2019) 4 - p. 629 , 2019

Link: https://doi.org/10.1017/..

10

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, ... Lecture Notes in Computer Science ; 10855;Theoretical Computer Science and General Issues ; 10855;SpringerLink, Bücher

Fioravanti, Fabio ; Gallagher, John P. , 2018

Link: http://dx.doi.org/10.100..

11

Solving Horn Clauses on Inductive Data Types Without Induct..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; PETTOROSSI, ALBERTO.
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 452-469 , 2018

Link: https://doi.org/10.1017/..

12

Predicate Pairing for program verification:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; PETTOROSSI, ALBERTO.
Theory and Practice of Logic Programming. 18 (2017) 2 - p. 126-166 , 2017

Link: https://doi.org/10.1017/..

13

Proving correctness of imperative programs by linearizing c..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; PETTOROSSI, ALBERTO.
Theory and Practice of Logic Programming. 15 (2015) 4-5 - p. 635-650 , 2015

Link: https://doi.org/10.1017/..

14

Verifying programs via iterated specialization:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 43-52 , 2013

Link: https://dl.acm.org/doi/1..

15

Evaluation of complex security scenarios using defense tree..:

Bistarelli, Stefano ; Fioravanti, Fabio ; Peretti, Pamela.
Journal of Experimental & Theoretical Artificial Intelligence. 24 (2012) 2 - p. 161-192 , 2012

Link: https://doi.org/10.1080/..