Determinacy analysis for logic programs using mode and type information
- López-García, P.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743
Any de publicació: 2005
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004. Revised Selected Papers
Volum: 3573
Pàgines: 19-35
Tipus: Aportació congrés