Parallel logic programming techniques
Material type:
- 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 | |
---|---|---|---|---|---|---|
![]() |
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.