activity
20242026
most citedA Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs

5 citations · 7 across the 10 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.PL2025

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs

Marco Ciccalè, Daniel Jurjo-Rivas, Jose F. Morales +2

Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specific…

cs.SE2025

Checkification: A Practical Approach for Testing Static Analysis Truths

Daniela Ferreiro, Ignacio Casso, Jose F. Morales +2

Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-pron…