|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
17 gevonden resultaten
| 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 |
17 gevonden resultaten