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…