Inferring termination conditions for logic programs using backwards analysis

  1. Genaim, S.
  2. Codish, M.
Aldizkaria:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Argitalpen urtea: 2005

Alea: 5

Zenbakia: 1-2

Orrialdeak: 75-91

Mota: Berrikuspena

DOI: 10.1017/S1471068404002236 GOOGLE SCHOLAR
Datuen iturria: Scopus