activity
20232026
most citedDemonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2026 · cs.PLShow all

1 paper · 2 filters

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…