Certificate size reduction in abstraction-carrying code

  1. Albert, E.
  2. Arenas, P.
  3. Puebla, G.
  4. Hermenegildo, M.
Aldizkaria:
Theory and Practice of Logic Programming

ISSN: 1471-0684,  1475-3081

Argitalpen urtea: 2012

Alea: 12

Zenbakia: 3

Orrialdeak: 283-318

Mota: Artikulua

DOI: 10.1017/S1471068410000487 GOOGLE SCHOLAR
Datuen iturria: Scopus