First Page | Document Content | |
---|---|---|
Date: 2009-08-18 19:10:21 | 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 1Add to Reading ListSource URL: cliplab.orgDownload Document from Source WebsiteFile Size: 286,77 KBShare Document on Facebook |