4 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
João Barbosa, Mário Florido, Vítor Santos Costa
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automaticall…