Determinacy analysis for logic programs using mode and type information

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

ISSN: 0302-9743

Ano de publicación: 2005

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

Volume: 3573

Páxinas: 19-35

Tipo: Achega congreso

DOI: 10.1007/11506676_2 GOOGLE SCHOLAR
Fonte de datos: Scopus