default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th PROLE 2006: Sitges, Barcelona, Spain
- Paqui Lucio, Fernando Orejas:
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006. Electronic Notes in Theoretical Computer Science 188, Elsevier 2007 - Paqui Lucio
, Fernando Orejas:
Preface. 1-2 - Javier de Dios Castro, Francisco Javier López-Fraguas:
Extra Variables Can Be Eliminated from Functional Logic Programs. 3-19 - Ginés Moreno, Vicente Pascual:
Formal Properties of Needed Narrowing with Similarity Relations. 21-35 - Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. 37-51 - Miquel Bertran, Francesc-Xavier Babot, August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting. 53-75 - Pascual Julián, Ginés Moreno, Jaime Penabad:
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. 77-90 - Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas:
Improving the Context-sensitive Dependency Graph. 91-103 - Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas:
Proving Termination of Context-Sensitive Rewriting with MU-TERM. 105-115 - Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Equivalence of Two Formal Semantics for Functional Logic Programs. 117-142 - María Alpuente, Bernhard Gramlich, Alicia Villanueva:
A Framework for Timed Concurrent Constraint Programming with External Functions. 143-155
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.
last updated on 2024-12-31 21:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
