Showing cs.PLShow all
3 papers · 1 filter
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.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.PL2024
Abstract Environment Trimming
Daniel Jurjo-Rivas, Jose F. Morales, Pedro López-GarcÃa +1
Variable sharing is a fundamental property in the static analysis of logic programs, since it is instrumental for ensuring correctness and increasing precision while inferring many…