Fabio Fioravanti -

Not registered as user yet

Name:Fabio Fioravanti

Country:Italy

Affiliation:University of Chieti-Pescara

Personal website: https://www.sci.unich.it/~fioravan/

Contributions

2024

PEPM

Author of A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) within the PEPM 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track

LOPSTR

Author of Constrained Horn Clauses Satisfiability via Catamorphic Abstractions within the LOPSTR 2023-track

2019

HCVS

VPT

Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track