Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2019.
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
Electronic Proceedings in Theoretical Computer Science,
Vol. 296,
Issue. ,
p.
48.
DE ANGELIS, EMANUELE
FIORAVANTI, FABIO
PETTOROSSI, ALBERTO
and
PROIETTI, MAURIZIO
2019.
Solving Horn Clauses on Inductive Data Types Without Induction – ERRATUM.
Theory and Practice of Logic Programming,
Vol. 19,
Issue. 04,
p.
629.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2019.
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.
Electronic Proceedings in Theoretical Computer Science,
Vol. 299,
Issue. ,
p.
4.
De Angelis, Emanuele
Fioravanti, Fabio
and
Proietti, Maurizio
2020.
Transformational Verification of Quicksort.
Electronic Proceedings in Theoretical Computer Science,
Vol. 320,
Issue. ,
p.
95.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2020.
Automated Reasoning.
Vol. 12166,
Issue. ,
p.
83.
Champion, Adrien
Chiba, Tomoya
Kobayashi, Naoki
and
Sato, Ryosuke
2020.
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.
Journal of Automated Reasoning,
Vol. 64,
Issue. 7,
p.
1393.
Kobayashi, Naoki
Fedyukovich, Grigory
and
Gupta, Aarti
2020.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 12079,
Issue. ,
p.
195.
Nepeivoda, Antonina
2021.
Program Specialization as a Tool for Solving Word Equations.
Electronic Proceedings in Theoretical Computer Science,
Vol. 341,
Issue. ,
p.
42.
Fedyukovich, Grigory
and
Ernst, Gidon
2021.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 12652,
Issue. ,
p.
24.
Shimoda, Takumi
Kobayashi, Naoki
Sakayori, Ken
and
Sato, Ryosuke
2021.
Static Analysis.
Vol. 12913,
Issue. ,
p.
405.
Kobayashi, Naoki
2021.
An Overview of the HFL Model Checking Project.
Electronic Proceedings in Theoretical Computer Science,
Vol. 344,
Issue. ,
p.
1.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2022.
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.
Journal of Logic and Computation,
Vol. 32,
Issue. 2,
p.
402.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2022.
Contract Strengthening through Constrained Horn Clause Verification.
Electronic Proceedings in Theoretical Computer Science,
Vol. 373,
Issue. ,
p.
23.
Faisal Al Ameen, Mahmudul
Kobayashi, Naoki
and
Sato, Ryosuke
2022.
Functional and Logic Programming.
Vol. 13215,
Issue. ,
p.
39.
DE ANGELIS, EMANUELE
FIORAVANTI, FABIO
GALLAGHER, JOHN P.
HERMENEGILDO, MANUEL V.
PETTOROSSI, ALBERTO
and
PROIETTI, MAURIZIO
2022.
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 6,
p.
974.
DE ANGELIS, EMANUELE
PROIETTI, MAURIZIO
FIORAVANTI, FABIO
and
PETTOROSSI, ALBERTO
2022.
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 4,
p.
555.
K, Hari Govind V
Shoham, Sharon
and
Gurfinkel, Arie
2022.
Solving constrained Horn clauses modulo algebraic data types and recursive functions.
Proceedings of the ACM on Programming Languages,
Vol. 6,
Issue. POPL,
p.
1.
Murali, Adithya
Peña, Lucas
Jhala, Ranjit
and
Madhusudan, P.
2023.
Complete First-Order Reasoning for Properties of Functional Programs.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
1063.
Faisal Al Ameen, Mahmudul
Kobayashi, Naoki
and
Sato, Ryosuke
2024.
Asynchronous unfold/fold transformation for fixpoint logic.
Science of Computer Programming,
Vol. 231,
Issue. ,
p.
103014.