De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio Analysis and transformation of constrained Horn clauses for program verification. (English) Zbl 07776353 Theory Pract. Log. Program. 22, No. 6, 974-1042 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 22, No. 6, 974--1042 (2022; Zbl 07776353) Full Text: DOI arXiv OA License
Gallagher, John P.; Hermenegildo, Manuel; Kafle, Bishoksan; Klemen, Maximiliano; López García, Pedro; Morales, José From big-step to small-step semantics and back with interpreter specialisation. (English) Zbl 07453190 Fribourg, Laurent (ed.) et al., Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25–26, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 50-64 (2020). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J. P. Gallagher} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 320, 50--64 (2020; Zbl 07453190) Full Text: arXiv Link