Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Mesnard, Frédéric
Payet, Étienne
and
Vanhoof, Wim
2016.
Towards a framework for algorithm recognition in binary code.
p.
202.
Lee, Juneyoung
Kim, Yoonseung
Song, Youngju
Hur, Chung-Kil
Das, Sanjoy
Majnemer, David
Regehr, John
and
Lopes, Nuno P.
2017.
Taming undefined behavior in LLVM.
ACM SIGPLAN Notices,
Vol. 52,
Issue. 6,
p.
633.
De Angelis, E.
Fioravanti, F.
Pettorossi, A.
and
Proietti, M.
2017.
Semantics-based generation of verification conditions via program specialization.
Science of Computer Programming,
Vol. 147,
Issue. ,
p.
78.
Lee, Juneyoung
Kim, Yoonseung
Song, Youngju
Hur, Chung-Kil
Das, Sanjoy
Majnemer, David
Regehr, John
and
Lopes, Nuno P.
2017.
Taming undefined behavior in LLVM.
p.
633.
VIDAL, GERMÁN
2018.
Introduction to the special issue on computational logic for verification.
Theory and Practice of Logic Programming,
Vol. 18,
Issue. 2,
p.
122.
Stulova, Nataliia
Morales, José F.
and
Hermenegildo, Manuel V.
2018.
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.
Science of Computer Programming,
Vol. 155,
Issue. ,
p.
3.
Bueno, Denis
and
Sakallah, Karem A.
2019.
Verification, Model Checking, and Abstract Interpretation.
Vol. 11388,
Issue. ,
p.
363.
Vanhoof, Wim
and
Yernaux, Gonzague
2020.
Logic-Based Program Synthesis and Transformation.
Vol. 12042,
Issue. ,
p.
228.
Bueno, Denis
and
Sakallah, Karem A.
2020.
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis.
Electronic Proceedings in Theoretical Computer Science,
Vol. 320,
Issue. ,
p.
163.
Gallagher, John P.
Hermenegildo, Manuel
Kafle, Bishoksan
Klemen, Maximiliano
López García, Pedro
and
Morales, José
2020.
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.
Electronic Proceedings in Theoretical Computer Science,
Vol. 320,
Issue. ,
p.
50.
MESNARD, FRED
PAYET, ÉTIENNE
and
VIDAL, GERMÁN
2020.
Concolic Testing in CLP.
Theory and Practice of Logic Programming,
Vol. 20,
Issue. 5,
p.
671.
Beyene, Tewodros A.
Herrera, Christian
and
Nigam, Vivek
2020.
Verification of Ada Programs with AdaHorn.
ACM SIGAda Ada Letters,
Vol. 39,
Issue. 2,
p.
29.
Yernaux, Gonzague
and
Vanhoof, Wim
2022.
On Detecting Semantic Clones in Constraint Logic Programs.
p.
32.
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.
Bromberger, Martin
Leutgeb, Lorenz
and
Weidenbach, Christoph
2023.
Frontiers of Combining Systems.
Vol. 14279,
Issue. ,
p.
137.