Parallel logic programming techniques

By: Material type: TextTextPublication details: Englewood Cliffs : [S.n.], c1989Description: xvi, 205 p. : il. ; 25 cmISBN:
  • 013648767X
Subject(s):
Contents:
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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.1.6 TAY (Browse shelf(Opens below)) Available DIF-01215

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.