Resource usage analysis of logic programs via abstract interpretation using sized types

  1. Serrano, A.
  2. Lopez-Garcia, P.
  3. Hermenegildo, M.V.
Aldizkaria:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Argitalpen urtea: 2014

Alea: 14

Zenbakia: 4-5

Orrialdeak: 739-754

Mota: Biltzar ekarpena

DOI: 10.1017/S147106841400057X GOOGLE SCHOLAR
Datuen iturria: Scopus