Determinacy analysis for logic programs using mode and type information

  1. López-García, P.
  2. Bueno, F.
  3. Hermenegildo, M.
Actes de conférence:
Lecture Notes in Computer Science

ISSN: 0302-9743

Année de publication: 2005

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

Volumen: 3573

Pages: 19-35

Type: Communication dans un congrès

DOI: 10.1007/11506676_2 GOOGLE SCHOLAR
La source de données: Scopus