| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Overview of MSR( C )
|
Delzanno, G.
|
|
2002
|
76 |
C |
p. 65-82
18 p.
|
artikel
|
| 2 |
Comparing Under and Over-Approximations of LTL Properties for Model Checking
|
Gallardo, María del Mar
|
|
2002
|
76 |
C |
p. 131-144
14 p.
|
artikel
|
| 3 |
Declarative Debugging for Encapsulated Search
|
Caballero, Rafael
|
|
2002
|
76 |
C |
p. 52-64
13 p.
|
artikel
|
| 4 |
Declarative Reflection and its Application as a Pattern Language
|
Herranz, A.
|
|
2002
|
76 |
C |
p. 197-215
19 p.
|
artikel
|
| 5 |
Demandness in Rewriting and Narrowing
|
Antoy, Sergio
|
|
2002
|
76 |
C |
p. 42-51
10 p.
|
artikel
|
| 6 |
Operational Semantics for Functional Logic Languages * * This work has been partially supported by CICYT TIC 2001-2705-C03-01, by Acción Integrada Hispano-Alemana HA2001-0059, by Acc. Int. Hispano-Austriaca HU2001-0019, by Acc. Int. Hispano-Italiana HI2000-0161, and by the DFG under grant Ha 2457/1-2.
|
Albert, Elvira
|
|
2002
|
76 |
C |
p. 1-19
19 p.
|
artikel
|
| 7 |
Order Functional Pure Type Systems
|
Gutiérrez, Francisco
|
|
2002
|
76 |
C |
p. 162-177
16 p.
|
artikel
|
| 8 |
Preface
|
Comini, Marco
|
|
2002
|
76 |
C |
p. 269-270
2 p.
|
artikel
|
| 9 |
Probabilistic Constraint Handling Rules
|
Frühwirth, Thom
|
|
2002
|
76 |
C |
p. 115-130
16 p.
|
artikel
|
| 10 |
Programmable Type Systems for Domain Specific Languages
|
Thiemann, Peter
|
|
2002
|
76 |
C |
p. 233-251
19 p.
|
artikel
|
| 11 |
Programming Autonomous Robots in Curry 1 1 This work has been partially supported by the German Research Council (DFG) under grant Ha 2457/1-2, by the DAAD/NSF under grant INT-9981317, and by the DAAD under the PROCOPE programme.
|
Hanus, Michael
|
|
2002
|
76 |
C |
p. 178-196
19 p.
|
artikel
|
| 12 |
Redundancy of Arguments Reduced to Induction
|
Alpuente, María
|
|
2002
|
76 |
C |
p. 20-41
22 p.
|
artikel
|
| 13 |
Scheduling Aircraft Using Constraint Satisfaction
|
van Leeuwen, Pim
|
|
2002
|
76 |
C |
p. 252-268
17 p.
|
artikel
|
| 14 |
Set-based Nondeterministic Declarative Programming in Singleton
|
Rossi, Gianfranco
|
|
2002
|
76 |
C |
p. 216-232
17 p.
|
artikel
|
| 15 |
Simulation Reduction as Constraint 1 1 A preliminary version of this work has been presented to the workshop SAVE 2001.
|
Gentilini, R.
|
|
2002
|
76 |
C |
p. 145-161
17 p.
|
artikel
|
| 16 |
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
|
Ferrand, G.
|
|
2002
|
76 |
C |
p. 99-114
16 p.
|
artikel
|
| 17 |
Using Secondary Structure Information for Protein Folding in CLP( FD ) 1 1 The work is partially supported by MIUR project: Automatic Aggregate –and number– Reasoning for Computing.
|
Dovier, Agostino
|
|
2002
|
76 |
C |
p. 83-98
16 p.
|
artikel
|
Tijdschrift beschrijving