Determinacy analysis for logic programs using mode and type information

  1. López-García, P.
  2. Bueno, F.
  3. Hermenegildo, M.
Proceedings:
Lecture Notes in Computer Science

ISSN: 0302-9743

Year of publication: 2005

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004. Revised Selected Papers

Volume: 3573

Pages: 19-35

Type: Conference paper

DOI: 10.1007/11506676_2 GOOGLE SCHOLAR
Data source: Scopus