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
  
• David Ruiz, Mateu Villaret:
  TILC: The Interactive Lambda-Calculus Tracer. 173-183