Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.
Olivier Ridoux, Patrice Boizumault, Frdric Malsieux
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/RidouxBM99 ↗
Browse the full FLOPS paper archive.