Back to Results
First PageMeta Content



Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses Pedro LOPEZ-GARCIA1,2 , Francisco BUENO3 and Manuel HERMENEGILDO1,3 1
Add to Reading List

Document Date: 2009-08-18 19:10:21


Open Document

File Size: 286,77 KB

Share Result on Facebook
UPDATE