default search action
8th PROLE 2008: Gijón, Spain
- Jesús Manuel Almendros-Jiménez:
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008. Electronic Notes in Theoretical Computer Science 248, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.