Parallel logic programming techniques
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Englewood Cliffs :
[S.n.],
c1989
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye bibliografía. -- |
| Descripción Física: | xvi, 205 p. : il. ; 25 cm. |
| ISBN: | 013648767X |
Tabla de Contenidos:
- 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.