Back to Results
First PageMeta Content
Logic programming / Software engineering / Assertion / Debugging / Abstraction / SLD resolution / Abstract interpretation / Tree / Logic in computer science / Computer programming / Theoretical computer science


Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM)
Add to Reading List

Document Date: 2007-11-07 05:34:04


Open Document

File Size: 193,06 KB

Share Result on Facebook
UPDATE