most cited(Co)recursion in Logic Programming: Lazy vs Eager

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

collaborators

1 paper

cs.PL2014★ 2 cited

(Co)recursion in Logic Programming: Lazy vs Eager

Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt

CoAlgebraic Logic Programming (CoALP) is a dialect of Logic Programming designed to bring a more precise compile-time and run-time analysis of termination and productivity for recu…