Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

8th PROLE 2008: Gijón, Spain

> Home > Conferences and Workshops > PROLE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/prole/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prole/2008
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Almendros-Jimenez09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Almendros-Jimenez09
Jesús Manuel Almendros-Jiménez:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlarconL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlarconL09
Beatriz Alarcón, Salvador Lucas:
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. 3-17
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Alba-CastroAEOR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Alba-CastroAEOR09
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlbertAGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlbertAGP09
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. 31-46
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlechaH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlechaH09
Mikel Alecha, Montserrat Hermo:
A Learning Algorithm for Deterministic Finite Automata using JFLAP. 47-56
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteFJV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteFJV09
María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. 57-66
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rodriguez-ArtalejoR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rodriguez-ArtalejoR09
Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Qualified Logic Programming with Bivalued Predicates. 67-82
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DuranLMG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DuranLMG09
Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez:
Web Services and Interoperability for the Maude Termination Tool. 83-92
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DuranLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DuranLM09
Francisco Durán, Salvador Lucas, José Meseguer:
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. 93-113
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/IranzoMMO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IranzoMMO09
Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego:
Thresholded Tabulation in a Fuzzy Logic Setting. 115-130
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/IranzoRG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/IranzoRG09
Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero:
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. 131-147
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Marpons-UceroMCHFMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinP09
José Antonio Martín, Ernesto Pimentel:
Dinapter: Automatic Adapter Specification for Software Composition. 161-171
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RuizV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RuizV09
David Ruiz, Mateu Villaret:
TILC: The Interactive Lambda-Calculus Tracer. 173-183

a service of

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.