Parallel logic programming techniques

Taylor, Stephen

Parallel logic programming techniques - Englewood Cliffs : [S.n.], c1989 - xvi, 205 p. : il. ; 25 cm.

Incluye bibliografía. --

Programming parallel computers -- Flat Concurrent Prolog -- Implementation techniques -- Compilation techniques -- Performance studies -- Optimization techniques -- Programming techniques -- Complexity issues -- App. A. Correctness proof -- App. B. Instuction set summary -- App. C. Semantics.

013648767X

DIF-M914


PROGRAMACIÓN LÓGICA
PROCESAMIENTO PARALELO