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…