Login / Signup

Divide-and-query and subterm dependency tracking in the mercury declarative debugger.

Ian MacLartyZoltan SomogyiMark Brown
Published in: AADEBUG (2005)
Keyphrases