Kafle, Bishoksan ; Gallagher, John Patrick ; Hermenegildo, Manuel V... Kafle , B , Gallagher , J P , Hermenegildo , M V , Klemen , M , López-García , P & Morales , J F 2021 , Regular Path Clauses and Their Application in Solving Loops . in H Hojjat & B Kafle (eds) , Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021) . vol. 344 , EPTCS , Electronic Proceedings in Theoretical Computer Science , vol. 344 , pp. 22-35 , 8th Workshop on Horn Clauses for Verification and Synthesis , Luxembourg , 28/03/2021 . https://doi.org/10.4204/EPTCS.344.3.
,
2021
Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John Patrick.. Klemen , M , López-García , P , Gallagher , J P , Morales , J F & Hermenegildo , M 2020 , A General Framework for Static Cost Analysis of Parallel Logic Programs . in M Gabbrielli (ed.) , Logic-Based Program Synthesis and Transformation - 29th International Symposium : LOPSTR 2019 Revised Selected Papers . vol. 12042 , Springer , Lecture Notes in Computer Science , vol. 12042 , Theoretical Computer Science and General Issues , vol. 12042 , pp. 19-35 , 29th International Symposium Logic-Based Program Synthesis and Transformation , Porto , Portugal , 08/10/2019 . https://doi.org/10.1007/978-3-030-45260-5_2.
,
2020
Gallagher, John Patrick ; Hermenegildo, Manuel V ; Kafle, Bishoksan... Gallagher , J P , Hermenegildo , M V , Kafle , B , Klemen , M , López-García , P & Morales , J F 2020 , From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation . in L Fribourg & M Heizmann (eds) , Proceedings of VPT/HCVS@ETAPS 2020 : 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis . vol. 320 , EPTCS , Electronic Proceedings in Theoretical Computer Science , vol. 320 , pp. 50-64 , 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis , Dublin , Ireland , 25/04/2020 . https://doi.org/10.4204/EPTCS.320.4.
,
2020