9 citations · 11 across the 5 of their papers we have counts for
1 paper · 1 filter
Claudio Vaucheret, Francisco Bueno
Type analyses of logic programs which aim at inferring the types of the program being analyzed are presented in a unified abstract interpretation-based framework. This covers most…