Parallel logic programming techniques
Material type:
TextPublication details: Englewood Cliffs : [S.n.], c1989Description: xvi, 205 p. : il. ; 25 cmISBN: - 013648767X
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.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.1.6 TAY (Browse shelf(Opens below)) | Available | DIF-01215 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.1.6 LLO Foundations of logic programming | D.1.6 LLO Foundations of logic programming | D.1.6 SMI La lógica como lenguaje de programación : aspectos declarativos y procedurales | D.1.6 TAY Parallel logic programming techniques | D.1.6 VID Programación lógica y funcional | D.1.6 VID Programación lógica y funcional | D.1.8 PAW Foundations of AOP for J2EE development |
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.