Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Browse the full LOPSTR paper archive.
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Browse the full LOPSTR paper archive.