Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
SANCHEZ-ORDAZ, MIGUEL A.
GARCIA-CONTRERAS, ISABEL
PEREZ, VICTOR
MORALES, JOSÉ F.
LOPEZ-GARCIA, PEDRO
and
HERMENEGILDO, MANUEL V.
2021.
VeriFly: On-the-fly Assertion Checking via Incrementality.
Theory and Practice of Logic Programming,
Vol. 21,
Issue. 6,
p.
768.
De Angelis, Emanuele
and
Govind V K, Hari
2022.
CHC-COMP 2022: Competition Report.
Electronic Proceedings in Theoretical Computer Science,
Vol. 373,
Issue. ,
p.
44.
DOVIER, AGOSTINO
FORMISANO, ANDREA
GUPTA, GOPAL
HERMENEGILDO, MANUEL V.
PONTELLI, ENRICO
and
ROCHA, RICARDO
2022.
Parallel Logic Programming: A Sequel.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 6,
p.
905.
KÖRNER, PHILIPP
LEUSCHEL, MICHAEL
BARBOSA, JOÃO
COSTA, VÍTOR SANTOS
DAHL, VERÓNICA
HERMENEGILDO, MANUEL V.
MORALES, JOSE F.
WIELEMAKER, JAN
DIAZ, DANIEL
ABREU, SALVADOR
and
CIATTO, GIOVANNI
2022.
Fifty Years of Prolog and Beyond.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 6,
p.
776.
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.
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.
Jurjo, Daniel
Morales, Jose F.
López-García, Pedro
and
Hermenegildo, Manuel V.
2023.
Proceedings 39th International Conference on Logic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 385,
Issue. ,
p.
55.
Bromberger, Martin
Leutgeb, Lorenz
and
Weidenbach, Christoph
2023.
Frontiers of Combining Systems.
Vol. 14279,
Issue. ,
p.
137.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2023.
Proceedings 39th International Conference on Logic Programming.
Electronic Proceedings in Theoretical Computer Science,
Vol. 385,
Issue. ,
p.
65.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2023.
Logic-Based Program Synthesis and Transformation.
Vol. 14330,
Issue. ,
p.
39.
Arceri, Vincenzo
Dolcetti, Greta
and
Zaffanella, Enea
2023.
Static Analysis.
Vol. 14284,
Issue. ,
p.
65.
Reholt, Jonas Wolpers
Glück, Robert
and
Kruse, Matthis
2023.
Reversible Computation.
Vol. 13960,
Issue. ,
p.
106.
Bjørner, Nikolaj
and
Fazekas, Katalin
2023.
Automated Deduction – CADE 29.
Vol. 14132,
Issue. ,
p.
41.
Rappoport, Omer
Grumberg, Orna
and
Vizel, Yakir
2023.
Automated Technology for Verification and Analysis.
Vol. 14216,
Issue. ,
p.
117.
De Angelis, Emanuele
Fioravanti, Fabio
Pettorossi, Alberto
and
Proietti, Maurizio
2023.
Practical Aspects of Declarative Languages.
Vol. 13880,
Issue. ,
p.
125.
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.
Pettorossi, Alberto
Proietti, Maurizio
Fioravanti, Fabio
and
De Angelis, Emanuele
2024.
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution).
p.
16.
Kafle, Bishoksan
Gange, Graeme
Schachte, Peter
Søndergaard, Harald
and
Stuckey, Peter J.
2024.
A lightweight approach to nontermination inference using Constrained Horn Clauses.
Software and Systems Modeling,
Vol. 23,
Issue. 2,
p.
319.
DE ANGELIS, EMANUELE
FIORAVANTI, FABIO
PETTOROSSI, ALBERTO
and
PROIETTI, MAURIZIO
2024.
Catamorphic Abstractions for Constrained Horn Clause Satisfiability.
Theory and Practice of Logic Programming,
p.
1.
De Angelis, Emanuele
and
Govind V K, Hari
2024.
CHC-COMP 2023: Competition Report.
Electronic Proceedings in Theoretical Computer Science,
Vol. 402,
Issue. ,
p.
83.