A Type Based Debugging Tool for Untyped Logic Languages.

Ulrich Geske Mario Lenz

Published in: LPE (1994)

Keyphrases

expressive power
software tools
type checking
logic programming
model based diagnosis
modal logic
multi valued
programs written
database
multiple types
automated reasoning
formal language