| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Coding Rule Conformance Checker Integrated into GCC
|
Marpons, Guillem
|
|
2009
|
248 |
C |
p. 149-159
11 p.
|
artikel
|
| 2 |
A Learning Algorithm for Deterministic Finite Automata using JFLAP
|
Alecha, Mikel
|
|
2009
|
248 |
C |
p. 47-56
10 p.
|
artikel
|
| 3 |
A Tool for Automated Certification of Java Source Code in Maude
|
Alba-Castro, M.
|
|
2009
|
248 |
C |
p. 19-29
11 p.
|
artikel
|
| 4 |
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering
|
Julián-Iranzo, Pascual
|
|
2009
|
248 |
C |
p. 131-147
17 p.
|
artikel
|
| 5 |
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis
|
Albert, Elvira
|
|
2009
|
248 |
C |
p. 31-46
16 p.
|
artikel
|
| 6 |
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
|
Alpuente, M.
|
|
2009
|
248 |
C |
p. 57-66
10 p.
|
artikel
|
| 7 |
Dinapter: Automatic Adapter Specification for Software Composition
|
Martín, José Antonio
|
|
2009
|
248 |
C |
p. 161-171
11 p.
|
artikel
|
| 8 |
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
|
Durán, Francisco
|
|
2009
|
248 |
C |
p. 93-113
21 p.
|
artikel
|
| 9 |
Preface
|
Almendros-Jiménez, Jesús M.
|
|
2009
|
248 |
C |
p. 1-2
2 p.
|
artikel
|
| 10 |
Qualified Logic Programming with Bivalued Predicates
|
Rodríguez-Artalejo, Mario
|
|
2009
|
248 |
C |
p. 67-82
16 p.
|
artikel
|
| 11 |
Thresholded Tabulation in a Fuzzy Logic Setting
|
Julián, Pascual
|
|
2009
|
248 |
C |
p. 115-130
16 p.
|
artikel
|
| 12 |
TILC: The Interactive Lambda-Calculus Tracer
|
Ruiz, David
|
|
2009
|
248 |
C |
p. 173-183
11 p.
|
artikel
|
| 13 |
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
|
Alarcón, Beatriz
|
|
2009
|
248 |
C |
p. 3-17
15 p.
|
artikel
|
| 14 |
Web Services and Interoperability for the Maude Termination Tool
|
Durán, Francisco
|
|
2009
|
248 |
C |
p. 83-92
10 p.
|
artikel
|
Tijdschrift beschrijving