Showing cs.PLShow all
2 papers · 1 filter
cs.PL2002
A Backward Analysis for Constraint Logic Programs
Andy King, Lunjin Lu
One recurring problem in program development is that of understanding how to re-use code developed by a third party. In the context of (constraint) logic programming, part of this…
cs.PL1998
A Polymorphic Groundness Analysis of Logic Programs
Lunjin Lu
A polymorphic analysis is an analysis whose input and output contain parameters which serve as placeholders for information that is unknown before analysis but provided after analy…