2 papers
cs.PL2026
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
Daniela Ferreiro, Daniel Jurjo-Rivas, Marco Ciccalè +3
In strongly-typed languages, types are verified at compile time, while dynamically typed languages, such as Prolog, perform type consistency checks entirely at run-time. Extending…
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…