Divide-and-query and subterm dependency tracking in the Mercury declarative debugger (2005)

Cached

Download Links

by Ian Maclarty , Zoltan Somogyi , Mark Brown
Venue:the proceedings of the Sixth International Symposium on Automated and Analysis-driven Debugging
Citations:4 - 2 self