Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog (1999)

by O Ridoux, P Boizumault, F Malesieux
Venue:In Procs. of FLOPS99, LNCS 1722