nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Framework for Interpreting Traces of Functional Logic Computations
|
Braßel, Bernd |
|
2007 |
177 |
C |
p. 91-106 16 p. |
artikel |
2 |
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the C F L P Scheme
|
Estévez Martín, S. |
|
2007 |
177 |
C |
p. 235-252 18 p. |
artikel |
3 |
Algorithmic Debugging of Java Programs
|
Caballero, R. |
|
2007 |
177 |
C |
p. 75-89 15 p. |
artikel |
4 |
A Proposal for Disequality Constraints in Curry
|
Gallego Arias, Emilio Jesús |
|
2007 |
177 |
C |
p. 269-285 17 p. |
artikel |
5 |
A Study on the Practicality of Poly-Controlled Partial Evaluation
|
Ochoa, Claudio |
|
2007 |
177 |
C |
p. 137-151 15 p. |
artikel |
6 |
Expander2: Program Verification Between Interaction and Automation
|
Padawitz, Peter |
|
2007 |
177 |
C |
p. 35-57 23 p. |
artikel |
7 |
Implementing Dynamic-Cut in T OY
|
Caballero, R. |
|
2007 |
177 |
C |
p. 153-168 16 p. |
artikel |
8 |
Implementing Relational Specifications in a Constraint Functional Logic Language
|
Berghammer, Rudolf |
|
2007 |
177 |
C |
p. 169-183 15 p. |
artikel |
9 |
Lazy Database Access with Persistent Predicates
|
Fischer, Sebastian |
|
2007 |
177 |
C |
p. 185-200 16 p. |
artikel |
10 |
Narrowing and Rewriting Logic: from Foundations to Applications
|
Escobar, Santiago |
|
2007 |
177 |
C |
p. 5-33 29 p. |
artikel |
11 |
Preface
|
López Fraguas, Francisco J. |
|
2007 |
177 |
C |
p. 1-3 3 p. |
artikel |
12 |
Programmed Search in a Timetabling Problem over Finite Domains
|
González-del-Campo, R. |
|
2007 |
177 |
C |
p. 253-267 15 p. |
artikel |
13 |
Reporting Failures in Functional Logic Programs
|
Hanus, Michael |
|
2007 |
177 |
C |
p. 59-73 15 p. |
artikel |
14 |
Static Slicing of Rewrite Systems
|
Cheda, Diego |
|
2007 |
177 |
C |
p. 123-136 14 p. |
artikel |
15 |
Temporal Contextual Logic Programming
|
Nogueira, Vitor |
|
2007 |
177 |
C |
p. 219-233 15 p. |
artikel |
16 |
The Interactive Curry Observation Debugger iCODE
|
Sadeghi, Parissa H. |
|
2007 |
177 |
C |
p. 107-122 16 p. |
artikel |
17 |
Using Template Haskell for Abstract Interpretation
|
Segura, Clara |
|
2007 |
177 |
C |
p. 201-217 17 p. |
artikel |