![](/img/cover-not-exists.png)
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Pedro Lopez-Garcia, Francisco Bueno, Manuel HermenegildoVolume:
28
Language:
english
Pages:
30
DOI:
10.1007/s00354-008-0085-1
Date:
April, 2010
File:
PDF, 688 KB
english, 2010