|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index to volume 29 |
1996 |
29 | 1-3 |
p. 296- 1 p. |
artikel |
||
| 2 | Contents to volume 29 |
1996 |
29 | 1-3 |
p. 297- 1 p. |
artikel |
||
| 3 | Design and analysis of hardware for high-performance prolog |
Holmer, Bruce K. |
1996 |
29 | 1-3 |
p. 107-139 33 p. |
artikel |
|
| 4 | Detection and optimization of suspension-free logic programs |
Debray, Saumya |
1996 |
29 | 1-3 |
p. 171-194 24 p. |
artikel |
|
| 5 | Editorial Board |
1996 |
29 | 1-3 |
p. IFC- 1 p. |
artikel |
||
| 6 | Experience with the Super Monaco optimizing compiler |
Tick, Evan |
1996 |
29 | 1-3 |
p. 141-169 29 p. |
artikel |
|
| 7 | Guest editors' introduction: High-performance implementations of logic programming systems |
Gupta, Gopal |
1996 |
29 | 1-3 |
p. 1-3 3 p. |
artikel |
|
| 8 | Multilog and data or-parallelism |
Smith, Donald A. |
1996 |
29 | 1-3 |
p. 195-244 50 p. |
artikel |
|
| 9 | Overview of DASWAM: Exploitation of dependent and-parallelism |
Shen, Kish |
1996 |
29 | 1-3 |
p. 245-293 49 p. |
artikel |
|
| 10 | Parma—bridging the performance gap between imperative and logic programming |
Taylor, Andrew |
1996 |
29 | 1-3 |
p. 5-16 12 p. |
artikel |
|
| 11 | Partial translation: towards a portable and efficient prolog implementation technology |
Tarau, Paul |
1996 |
29 | 1-3 |
p. 65-83 19 p. |
artikel |
|
| 12 | The execution algorithm of mercury, an efficient purely declarative logic programming language |
Somogyi, Zoltan |
1996 |
29 | 1-3 |
p. 17-64 48 p. |
artikel |
|
| 13 | The Vienna abstract machine |
Krall, Andreas |
1996 |
29 | 1-3 |
p. 85-106 22 p. |
artikel |
|
| 14 | Title index to volume 29 |
1996 |
29 | 1-3 |
p. 295- 1 p. |
artikel |
14 gevonden resultaten