| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Debugging Scheme for Functional Logic Programs 1 1 This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424.
|
Alpuente, María
|
|
2002
|
64 |
C |
p. 18-55
38 p.
|
artikel
|
| 2 |
A Declarative Debugging System for Lazy Functional Logic Programs
|
Caballero, Rafael
|
|
2002
|
64 |
C |
p. 113-175
63 p.
|
artikel
|
| 3 |
An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine
|
Sato, Shinya
|
|
2002
|
64 |
C |
p. 292-307
16 p.
|
artikel
|
| 4 |
Comparing Meseguer's Rewriting Logic with the Logic CRWL
|
Palomino Tarjuelo, Miguel
|
|
2002
|
64 |
C |
p. 255-276
22 p.
|
artikel
|
| 5 |
Defining Actions in Concurrent Declarative Programming
|
Echahed, Rachid
|
|
2002
|
64 |
C |
p. 176-194
19 p.
|
artikel
|
| 6 |
Improving the Efficiency of Non-Deterministic Computations 1 1 Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424.
|
Antoy, Sergio
|
|
2002
|
64 |
C |
p. 73-94
22 p.
|
artikel
|
| 7 |
JACK:
|
Abdennadher, Slim
|
|
2002
|
64 |
C |
p. 1-17
17 p.
|
artikel
|
| 8 |
Lazy Rewriting and Context-Sensitive Rewriting
|
Lucas, Salvador
|
|
2002
|
64 |
C |
p. 234-254
21 p.
|
artikel
|
| 9 |
Model Checking Erlang Programs – Abstracting Recursive Function Calls
|
Huch, Frank
|
|
2002
|
64 |
C |
p. 195-219
25 p.
|
artikel
|
| 10 |
Preface
|
Hanus, Michael
|
|
2002
|
64 |
C |
p. 308-309
2 p.
|
artikel
|
| 11 |
Specialisation of Higher-Order Functions for Debugging
|
Pope, Bernard
|
|
2002
|
64 |
C |
p. 277-291
15 p.
|
artikel
|
| 12 |
Specification of Logic Programming Languages from Reusable Semantic Building Blocks
|
Labra Gayo, J.E.
|
|
2002
|
64 |
C |
p. 220-233
14 p.
|
artikel
|
| 13 |
Timed Term Rewrite Systems
|
Blanc, Jérémie
|
|
2002
|
64 |
C |
p. 95-112
18 p.
|
artikel
|
| 14 |
Type Inference using Constraint Handling Rules
|
Alves, Sandra
|
|
2002
|
64 |
C |
p. 56-72
17 p.
|
artikel
|
Tijdschrift beschrijving