Electronic Notes in Theoretical Computer Science, Volume 248
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team