|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Hybrid Algorithm for Compiling Equality Constraints and its Implementation |
Zhou, Neng-Fa |
2000 |
30 | 2 |
p. 199-207 9 p. |
artikel |
|
| 2 | Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN |
Leuschel, Michael |
2000 |
30 | 2 |
p. 157-162 6 p. |
artikel |
|
| 3 | Linearity Analysis of Concurrent Logic Programs |
Ueda, Kazunori |
2000 |
30 | 2 |
p. 188- 1 p. |
artikel |
|
| 4 | On the need for a different backtracking rule when dealing with late evaluation |
Gavanelli, Marco |
2000 |
30 | 2 |
p. 145-156 12 p. |
artikel |
|
| 5 | Preface |
Leuschel, Michael |
2000 |
30 | 2 |
p. 127-128 2 p. |
artikel |
|
| 6 | Rules and Strategies for Contextual Specialization of Constraint Logic Programs |
Fioravanti, Fabio |
2000 |
30 | 2 |
p. 129-144 16 p. |
artikel |
|
| 7 | Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs |
Puebla, G. |
2000 |
30 | 2 |
p. 163-187 25 p. |
artikel |
|
| 8 | Towards Modular Binding-Time Analysis for First-order Mercury |
Vanhoof, Wim |
2000 |
30 | 2 |
p. 189-198 10 p. |
artikel |
8 gevonden resultaten