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

Facility

Technical University of Madrid / University of New Mexico Abstract / /

IndustryTerm

error searching algorithm / diagnosis tool / diagnosis algorithms / diagnosis algorithm / software development / /

Organization

School of Computer Science / University of New Mexico Abstract / Technical University of Madrid / PPP PP / /

Person

Manuel V / /

Position

head of clause / head / abstract interpreter / generic abstract interpreter / programmer / /

ProgrammingLanguage

R / D / /

ProvinceOrState

New Mexico / /

Technology

diagnosis algorithm / binding error searching algorithm / proposed algorithm / diagnosis algorithms / /

SocialTag