Determinacy analysis for logic programs using mode and type information
- López-García, P.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743
Datum der Publikation: 2005
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004. Revised Selected Papers
Ausgabe: 3573
Seiten: 19-35
Art: Konferenz-Beitrag