Volume 248, August 2009
- Jesús Manuel Almendros-Jiménez:
Preface.
1-2
- Beatriz Alarcón, Salvador Lucas:
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting.
3-17
- Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero:
A Tool for Automated Certification of Java Source Code in Maude.
19-29
- Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis.
31-46
- Mikel Alecha, Montserrat Hermo:
A Learning Algorithm for Deterministic Finite Automata using JFLAP.
47-56
- María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.
57-66
- Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Qualified Logic Programming with Bivalued Predicates.
67-82
- Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez:
Web Services and Interoperability for the Maude Termination Tool.
83-92
- Francisco Durán, Salvador Lucas, José Meseguer:
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation.
93-113
- Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego:
Thresholded Tabulation in a Fuzzy Logic Setting.
115-130
- Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero:
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering.
131-147
- Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo:
A Coding Rule Conformance Checker Integrated into GCC.
149-159
- José Antonio Martín, Ernesto Pimentel:
Dinapter: Automatic Adapter Specification for Software Composition.
161-171
- David Ruiz, Mateu Villaret:
TILC: The Interactive Lambda-Calculus Tracer.
173-183
Last update Mon May 20 00:56:10 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
