An algorithm for computing the data flow lattice to exploit independent AND-parallelism in logic programming

  1. César L. Alonso 1
  2. Camino R. Vela 1
  3. Ramiro Varela 1
  4. Jorge Puente 1
  5. Eugenia Cabal
  1. 1 Universidad de Oviedo
    info

    Universidad de Oviedo

    Oviedo, España

    ROR https://ror.org/006gksa02

Aktak:
2000 Joint Conference on Declarative Programming (AGP'00)

Argitalpen urtea: 2000

Biltzarra: Joint Conference on Declarative Programming (2000. La Habana)

Mota: Biltzar ekarpena

GOOGLE SCHOLAR