Papers

Papers of the Declarative Programming Group



Papers in 2009

  • G. Aranda , S. Nieva , F. Sáenz-Pérez and J. Sánchez

    Implementing a Fixed Point Semantics for a Constraint Deductive Database

    . (2009)
    pdfbibtex

  • E. Albert , S. Genaim and M. Gómez-Zamalloa

    Live Heap Space Analysis for Languages with Garbage Collection

    ISMM9: Proceedings of the 8th international symposium on Memory management. (2009)
    bibtex

  • D. Basin , M. Clavel , J. Doser and M. Egea

    Automated analysis of security-design models

    . Vol.51.. Pages 815--831.(2009)
    bibtex

  • R. Caballero , M. Rodríguez-Artalejo and C.A Romero-Díaz

    A Generic Scheme for Qualified Constraint Functional Logic Programming

    . (2009)
    bibtex

  • M. Clavel , F. Durán , S. Eker , S.Escobarand P.Lincoln , N. Martí-Oliet , J. Meseguer and C. Talcott

    Unification and Narrowing in Maude 2.4

    . (2009)
    bibtex

  • M. Clavel , M. Egea and M.A. Garca de Dios

    Building and efficient component for OCL evaluation

    . Vol.15.(2009)
    bibtex

  • R.del Vado-Vírseda

    Un Esquema de Programación Lógico-Funcional con Restricciones: Marco Teórico y Aplicación a la Depuración Declarativa

    . (2009)
    bibtex

  • R.del Vado-Vírseda , P. Fernández , S. Munoz and A. Murillo

    An Intelligent Tutoring System for Interactive Learning of Data Structures

    9th International Conference on Computational Science (ICCS9). (2009)
    bibtex

  • R.del Vado-Vírseda

    An Innovative Educational Environment for the Interactive Learning of Data Structures

    International Conference on Computer Supported Education (CSEDU9). (2009)
    bibtex

  • S. Estévez-Martín , A.J Fernández , F. Sáenz-Pérez , T. Hortalá-González , M. Rodríguez-Artalejo and R.del Vado Vírseda

    On the Cooperation of the Constraint Domains , and D in CFLP

    . (2009)
    bibtex

  • M. Gómez-Zamalloa , E. Albert and G. Puebla

    Interpretive Decompilation of Java Bytecode to Prolog

    . (2009)
    bibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics

    Proc. 21st Workshop on (Constraint) Logic Programming (WLP 2007). Vol.5437.. Pages 206-222.(2009)
    bibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    A flexible framework for programming with non-deterministic functions

    Proc. 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009). Pages 91-100.(2009)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    A Fully Abstract Semantics for Constructor Based Term Rewriting Systems

    Proc. Int. Conference on Rewriting Techniques and Applications (RTA 2009). (2009)
    bibtex

  • A. Riesco , A. Verdejo , R. Caballero and N. Martí-Oliet

    Declarative debugging of rewriting logic specifications.

    Recent Trends in Algebraic Development Techniques (WADT 2008). To appear. (2009)
    bibtex

  • A. Riesco and J. Rodríguez-Hortalá

    A natural implementation of Plural Semantics in Maude

    Proc. LDTA9. (2009)
    bibtex

  • V. Rusu and M. Clavel

    Vérification d variants pour des systčmes spécifiés en logique de réécriture

    Proceedings of JFLA 2009: Journées Francophones des Langages Applicatifs. (2009)
    bibtex

  • Papers in 2008

  • S. Estévez-Martín , A.J Fernández , M.T Hortalá-González , M. Rodríguez-Artalejo , F. Sáenz-Pérez and R.del Vado-Vírseda

    Cooperation of Constraint Domains in the TOY System

    PPDP8: Proceedings of the 12th ACM SIGPLAN international conference on Principles and practice of declaritive programming. Pages 258-268.(2008)
    bibtex

  • S. Estévez-Martín , A.J Fernández and F. Sáenz-Pérez

    Playing with TOY: Constraints and Domain Cooperation

    ESOP 2008, Proceedings. Vol.4960.. Pages 112-115.(2008)
    bibtex

  • E. Albert , J. Gallagher , M. Gómez-Zamalloa and G. Puebla

    Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

    17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR7). Pages 23--42.(2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla , D. Ramírez and D. Zanardini

    The sc COSTA Cost and Termination Analyzer for Java Bytecode and its Web Interface (Tool Demo)

    22nd European Conference on Object-Oriented Programming (ECOOP 2008. (2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim and G. Puebla

    Dealing with Numeric Fields in Termination Analysis of Java-like Languages

    10th Workshop on Formal Techniques for Java-like Programs. (2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    sc COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

    Software Technologies Concertation on Formal Methods for Components and Objects (FMCO7). Pages 113--132.(2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    COSTA: A Cost and Termination Analyzer for Java Bytecode

    Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode). (2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    Removing Useless Variables in Cost Analysis of Java Bytecode

    ACM SAC - Software Verification Track (SV08). Pages 368--375.(2008)
    bibtex

  • E. Albert , M.Gómez-Zamalloa and and G. Puebla

    Test Data Generation of Bytecode by CLP Partial Evaluation

    18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR8). (2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim and G. Puebla

    Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis

    Proc. of Static Analysis Symposium (SAS). Pages 221--237.(2008)
    bibtex

  • E. Albert , P. Arenas , M. Codish , S. Genaim , G. Puebla and D. Zanardini

    Termination Analysis of Java Bytecode

    Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS). Vol.5051.. Pages 2-18.(2008)
    bibtex

  • E. Albert , P. Arenas , S. Genaim and G. Puebla

    Cost Relation Systems: a Language-Independent Target Language for Cost Analysis

    Spanish Conference on Programming and Computer Languages (PROLE8). (2008)
    bibtex

  • E. Albert , G. Puebla and M. Hermenegildo

    Abstraction-Carrying Code: A Model for Mobile Code Safety

    . Vol.26.. Pages 171--204.(2008)
    bibtex

  • R. Caballero , N. Martí-Oliet , A. Riesco and A. Verdejo

    A declarative debugger for Maude functional modules

    7th International Workshop on Rewriting Logic and its Applications (WRLA 08). To appear. (2008)
    bibtex

  • R. Caballero , Y. García-Ruiz and F. Sáenz-Pérez

    A Theoretical Framework for the Declarative Debugging of Datalog Programs

    International Workshop on Semantics in Data and Knowledge Bases SDKB 2008. Vol.4925.. Pages 143-159.(2008)
    bibtex

  • R. Caballero , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

    Proc. 9th International Symposium on Functional and Logic Prrogramming (FLOPS8). Vol.to appear.(2008)
    bibtex

  • R. Caballero , M. Rodríguez-Artalejo and C.A Romero-Díaz

    Similarity-based reasoning in qualified logic programming

    Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP8). Pages 185--194.(2008)
    bibtex

  • R. Caballero , N. Martí-Oliet , A. Riesco and A. Verdejo

    Declarative debugging of membership equational logic specifications

    Concurrency, Graphs and Models. Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Vol.5065.. Pages 147-163.(2008)
    bibtex

  • R. Caballero , N. Martí-Oliet , A. Riesco and A. Verdejo

    Declarative debugging of Maude modules

    . (2008)
    bibtex

  • M. Clavel , V.da Silva , C. Braga and M. Egea

    Model-Driven Security in Practice: An Industrial Experience

    Model Driven Architecture - Foundations and Applications, 4th European Conference (ECMDA-FA 2008). Vol.5095.. Pages 326-337.(2008)
    bibtex

  • J. Correas

    Análisis y Verificación de Programas Modulares

    . (2008)
    bibtex

  • M. Egea

    An Executable Formal Semantics for OCL with Applications to Model Analysis and Validation

    . (2008)
    bibtex

  • S. Estévez-Martín , A.J Fernández , T. Hortalá-González , F. Sáenz-Pérez , M. Rodríguez-Artalejo and R.del Vado Vírseda

    Cooperation of Constraint Domains in the TOY System

    Proc. ACM SIGPLAN Conf. on Principles and Practice of Declarative Programming (PPDP8). Pages 258--268.(2008)
    bibtex

  • S. Estévez-Martín , J.Fernández Antonio and F. Sáenz-Pérez

    Playing with TOY: Constraints and Domain Cooperation

    ESOP 2008, Proceedings. Vol.4960.. Pages 112--115.(2008)
    bibtex

  • M.Garca-de Dios , M. Egea and M. Clavel

    The EOS component

    . (2008)
    bibtex

  • M. Gómez-Zamalloa , E. Albert and G. Puebla

    On the Generation of Test Data for Prolog by Partial Evaluation

    Workshop on Logic-based methods in Programming Environments (WLPE8). Vol.WLPE/2008/06.. Pages 26--43.(2008)
    bibtex

  • M. Gómez-Zamalloa , E. Albert and G. Puebla

    Modular Decompilation of Low-Level Code by Partial Evaluation

    8th International Working Conference on Source Code Analysis and Manipulation (SCAM8). (2008)
    bibtex

  • M. Gómez-Zamalloa , E. Albert and G. Puebla

    Towards Modular Interpretive Decompilation of Low-Level Code to Prolog

    Spanish Conference on Programming and Computer Languages (PROLE8). (2008)
    bibtex

  • O. Hermant and J. Lipton

    volume in honor of Andrews70th birthday (ed. Chad Brown)

    . (2008)
    bibtex

  • O. Hermant

    Skolemization in various intuitionistic logics

    . (2008)
    bibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Rewriting and Call-time choice: the HO case

    Proc. 9th International Symposium on Functional and Logic Programming (FLOPS8). Vol.4989.. Pages 147-162.(2008)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    A Lightweight Combination of Semantics for Non-deterministic Functions

    Proc. 18th Workshop on Logic-based methods in Programming Environments (WLPE 2008). (2008)
    pdfbibtex

  • S. Nieva , F. Sáenz-Pérez and J. Sánchez

    Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation

    Proc. 9th International Symposium on Functional and Logic Programming (FLOPS8). Vol.4989.. Pages 289--304.(2008)
    bibtex

  • S. Nieva , F. Sáenz-Pérez and J. Sánchez

    Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation (Extended Version)

    Technical Report UCM-SIC-4-08. Pages 20 pages.(2008)
    bibtex

  • P. Pietrzak , J. Correas , G. Puebla and M. Hermenegildo

    A Practical Type Analysis for Verification of Modular Prolog Programs

    ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM8). Pages 61--70.(2008)
    pdfbibtex

  • A. Riesco , A. Verdejo , N. Martí-Oliet and R. Caballero

    A Declarative Debugger for Maude

    AMAST 2008: Proceedings of the 12th international conference on Algebraic Methodology and Software Technology. Vol.5140.. Pages 116-121.(2008)
    bibtex

  • M. Rodríguez-Artalejo and C.A Romero-Díaz

    Quantitative Logic Programming Revisited

    Functional and Logic Programming (FLOPS8). Vol.4989.. Pages 272--288.(2008)
    bibtex

  • M. Rodríguez-Artalejo and C.A Romero-Díaz

    Qualified Logic Programming with Bivalued Predicates

    Proceedings of PROLE8. (2008)
    bibtex

  • M. Rodríguez-Artalejo and C.A Romero-Díaz

    A Generic Scheme for Qualified Logic Programming

    . (2008)
    bibtex

  • J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Functions and Lazy Evaluation in Prolog

    . Vol.206.. Pages 153--174.(2008)
    bibtex

  • J. Rodríguez-Hortalá

    A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems

    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008). (2008)
    bibtex

  • C. Segura , I. Pita , R.del Vado-Vírseda , A.I Saiz and P. Soler

    Interactive Learning of Data Structures and Algorithmic Schemes

    ICCS 8: Proceedings of the 8th International Conference on Computational Science. Vol.5101.. Pages 800-809.(2008)
    bibtex



  • Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain

    PPDP. (2008)
    bibtex

  • Papers in 2007

  • R.González-del Campo and F. Sáenz-Pérez

    Programmed Search in a Timetabling Problem over Finite Domains.

    . Vol.177.. Pages 253-267.(2007)
    pdfbibtex

  • S. Estévez-Martín , A.J Fernández , M.T Hortalá-González , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme

    . Vol.177.. Pages 235-252.(2007)
    pdfbibtex

  • E. Albert , M. Gómez-Zamalloa , L. Hubert and G. Puebla

    Verification of Java Bytecode using Analysis and Transformation of Logic Programs

    Ninth International Symposium on Practical Aspects of Declarative Languages. Pages 124--139.(2007)
    pdfbibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    Cost Analysis of Java Bytecode

    16th European Symposium on Programming, ESOP7. Pages 157--172.(2007)
    pdfbibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    A Generic Framework for the Cost Analysis of Java Bytecode

    Spanish Conference on Programming and Computer Languages (PROLE7). (2007)
    bibtex

  • E. Albert , P. Arenas , M. Codish , S. Genaim , G. Puebla and D. Zanardini

    Termination Analysis of Java Bytecode

    9th International Workshop on Termination, WST7. (2007)
    bibtex

  • E. Albert , P. Arenas , S. Genaim , G. Puebla and D. Zanardini

    Experiments in Cost Analysis of Java Bytecode

    ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE7). Vol.190, Issue 1.. Pages 67--83.(2007)
    bibtex

  • E. Albert , S. Genaim and M. Gómez-Zamalloa

    Heap Space Analysis for Java Bytecode

    ISMM 7: Proceedings of the 6th international symposium on Memory management. Pages 105--116.(2007)
    bibtex

  • P. Arenas , A.J Fernández , A. Gil , F.J López-Fraguas , M. Rodríguez-Artalejo and F. Sáenz-Pérez

    TOY. A Multiparadigm Declarative Language. Version 2.3.1

    . (2007)
    bibtex

  • D. Basin , M. Clavel , J. Doser and M. Egea

    A Metamodel-Based Approach for Analyzing Security-Design Models

    Model Driven Engineering Languages and Systems, 10th International Conference (MoDELS 2007). Vol.4735.. Pages 420-435.(2007)
    pdfbibtex

  • R. Caballero , T. Hortalá , N. Martí , S. Nieva , A. Pareja and M. Rodríguez

    Matemática Discreta para Informáticos

    . (2007)
    bibtex

  • R. Caballero , Y. García-Ruiz and F. Sáenz-Pérez

    A New Proposal for Debugging Datalog Programs

    16th International Workshop on Functional and (Constraint) Logic Programming (WFLP7). Vol.216.. Pages 79-92.(2007)
    bibtex

  • R. Caballero , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Declarative Debugging of Missing Answers in Constraint Functional- Logic Programming

    23rd International Conference on Logic Programming (ICLP 2007). Pages 425-427.(2007)
    pdfbibtex

  • R. Caballero and Y. García-Ruiz

    Implementing Dynamic Cut in Toy

    . Vol.177.. Pages 153-168.(2007)
    pdfbibtex

  • R. Caballero , C. Hermanns and H. Kuchen

    Algorithmic Debugging of Java Programs

    . Vol.177.. Pages 75-89.(2007)
    pdfbibtex

  • R. Caballero , N. Martí-Oliet , A. Riesco and A. Verdejo

    Declarative debugging of Maude functional modules

    . (2007)
    bibtex

  • M. Clavel , F. Durán , S. Eker , P. Lincoln , N. Martí-Oliet , J. Meseguer and C. Talcott

    All About Maude: A High-Performance Logical Framework

    . (2007)
    bibtex

  • M. Clavel , F. Durán , J. Hendrix , S. Lucas , J. Meseguer and P. Ölveczky

    The Maude Formal Tool Environment

    CALCO 2006, Proceedings. Vol.4624.. Pages 173--178.(2007)
    pdfbibtex

  • M. Clavel , J. Meseguer and M. Palomino

    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic

    . (2007)
    bibtex

  • M. Clavel , M. Egea and V. Torres

    MOVA: A Tool for Modeling, Measuring and Validating UML Class Diagrams

    . (2007)
    bibtex

  • M. Clavel , F. Durán , J. Hendrix , S. Lucas , J. Meseguer and P. Csaba-Ölveczky

    The Maude Formal Tool Environment

    Algebra and Coalgebra in Computer Science, Second International Conference (CALCO 2007). Vol.4624.. Pages 173-178.(2007)
    pdfbibtex

  • M. Clavel , J. Meseguer and M. Palomino

    Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

    . Vol.373.. Pages 70-91.(2007)
    bibtex

  • M. Clavel and M. Egea

    The ITP/OCL tool

    . (2007)
    bibtex

  • M. Clavel and M. Egea

    The SecureMOVA tool

    . (2007)
    bibtex

  • M. Clavel , M. Egea , V. Torres and C. Braga

    The MOVA tool

    . (2007)
    bibtex

  • J.M Cleva and F.J López-Fraguas

    Semantic determinism and functional logic program properties

    . Pages 3-15.(2007)
    pdfbibtex

  • R.del Vado-Vírseda

    A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees

    ICTAC. Vol.4711.. Pages 169-184.(2007)
    pdfbibtex

  • J. Dios-Castro and F.J López-Fraguas

    Extra Variables can be Eliminated from Functional Logic Programs

    . Pages 3-19.(2007)
    pdfbibtex

  • S. Estévez-Martín , A. Fernández , M.T Hortalá-González , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme

    . Vol.177.. Pages 235-252.(2007)
    pdfbibtex

  • S. Estévez-Martín , A. Fernández and F. Sáenz-Pérez

    About Implementing a Constraint Functional Logic Programming System with Solver Cooperation

    . Pages 57-71.(2007)
    pdfbibtex

  • S. Estévez-Martín , A.J Fernández , M.T Hortalá-González , M. Rodríguez-Artalejo , F. Sáenz-Pérez and R.del Vado-Vírseda

    A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

    . Vol.188.. Pages 37-51.(2007)
    pdfbibtex

  • A.J Fernández , T. Hortalá-González , F. Sáenz-Pérez and R.del Vado-Vírseda

    Constraint Functional Logic Programming over Finite Domains

    . Vol.7.. Pages 537-582.(2007)
    pdfbibtex

  • M. Gómez-Zamalloa , E. Albert and G. Puebla

    Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation

    ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE7). (2007)
    pdfbibtex

  • R.González-del Campo and F. Sáenz-Pérez

    Programmed Search in a Timetabling Problem over Finite Domains

    . Vol.177.. Pages 253-267.(2007)
    pdfbibtex

  • O. Hermant and J. Lipton

    Cut Elimination and Semantics of Higher-Order Logic Modulo

    . (2007)
    bibtex

  • J. Lipton and S. Nieva

    Higher-Order Logic Programming Languages with Constraints: A Semantics

    8th International Conference Typed Lambda Calculi and Applications (TLCA 2007). Pages 272--289.(2007)
    pdfbibtex

  • J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Lazy Functional Prolog: a Practical Approach

    Proc. PROLE7. Pages 121--135.(2007)
    pdfbibtex

  • F.J.López-Fraguas (editor)

    Special issue with Proc. WFLP 2006

    . Vol.177.(2007)
    bibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Equivalence of two formal semantics for functional logic programs

    . Pages 117-142.(2007)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Narrowing for non-determinism with call-time choice semantics

    Proc. Workshop on Logic Programming (WLP7), Tech. Rep. 434 Univ. Wurzburg. Pages 224-233.(2007)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Bundles Pack Tighter than Lists

    Draft Proc. of Trends in Functional Programming 2007. (2007)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Bundles: a data structure for lazy non-determinism

    Proc. PROLE7. Pages 195-204.(2007)
    pdfbibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    A simple rewrite notion for call-time choice semantics

    Principles and Practice of Declarative Programming (PPDP 2007). Pages 197-208.(2007)
    pdfbibtex

  • F.J López-Fraguas , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    A new generic scheme for functional logic programming with constraints

    . Vol.20.. Pages 73-122.(2007)
    pdfbibtex

  • C.A Romero-Díaz

    Programación Lógica Cuantitativa y su Implementación en TOY

    . (2007)
    bibtex

  • F. Sáenz-Pérez

    DES: un recurso para el aprendizaje de bases de datos deductivas

    JENUI07. (2007)
    pdfbibtex

  • F. Sáenz-Pérez

    ACIDE: An Integrated Development Environment Configurable for LaTeX

    . Vol.2007.(2007)
    pdfbibtex

  • F. Sáenz-Pérez

    Bib Manager and Word Citer: Bibliography Management and Citation Extraction

    . Vol.2007.(2007)
    pdfbibtex

  • F. Sáenz-Pérez



    . (2007)
    bibtex



  • All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

    All About Maude. Vol.4350.(2007)
    bibtex

  • Papers in 2006

  • R. Caballero , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Algorithmic Debugging of Wrong Answers in Constraint Functional Logic Programming

    . (2006)
    pdfbibtex

  • R. Caballero , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

    ICLP 2006. Vol.4079.. Pages 421-422.(2006)
    pdfbibtex

  • E. Albert , M. Gómez-Zamalloa , L. Hubert and G. Puebla

    Towards Verification of Java Bytecode using Tools for Logic Programming

    International Workshop on Software Verification and Validation (SVV 2006). (2006)
    pdfbibtex

  • E. Albert , P. Arenas and G. Puebla

    An Incremental Approach to Abstraction-Carrying Code

    13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR6). Pages 377--391.(2006)
    pdfbibtex

  • E. Albert , P. Arenas and G. Puebla

    Some Issues on Incremental Abstraction-Carrying Code

    16th Workshop on Logic-Based Methods in Programming Environments (WLPE6). (2006)
    pdfbibtex

  • E. Albert , P. Arenas and G. Puebla

    Incremental Certificates and Checkers for Abstraction-Carrying Code

    Sixth Workshop on Issues in the Theory of Security. (2006)
    pdfbibtex

  • E. Albert , P. Arenas , G. Puebla and M. Hermenegildo

    Reduced Certificates for Abstraction-Carrying Code

    22nd International Conference on Logic Programming (ICLP 2006). Pages 163--178.(2006)
    bibtex

  • E. Albert , G. Puebla and J. Gallagher

    Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

    Proc. of LOPSTR5. (2006)
    pdfbibtex

  • E. Albert , P. Arenas , G. Puebla and M. Hermenegildo

    Generation of Reduced Certificates in Abstraction-Carrying Code

    VI Jornadas Programación y Lenguajes (PROLE6). (2006)
    pdfbibtex

  • P. Arenas , A.J Fernández , A. Gil , F.J López-Fraguas , M. Rodríguez-Artalejo and F. Sáenz-Pérez

    TOY, a Multiparadigm Declarative Language. Version 2.2.3

    . (2006)
    bibtex

  • R. Caballero and J.Sanchez (eds.)

    TOY: A Multiparadigm Declarative Language, Version 2.2.3

    . (2006)
    bibtex

  • R. Caballero , Y. García-Ruiz and F. Sáenz-Pérez

    Towards a Set Oriented Calculus for Logic Programming

    Proceedings of VI Jornadas of PROgramación y LEnguajes (Prole 2006). (2006)
    pdfbibtex

  • R. Caballero and M. Rodríguez-Artalejo

    Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

    Proc. 22nd International Conference on Logic Programming (ICLP 2006). Vol.4079.. Pages 421--422.(2006)
    pdfbibtex

  • R. Caballero-Roldán , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Algorithmic Debugging of Wrong Answers in Constraint Functional-Logic Programming

    . (2006)
    pdfbibtex

  • R. Caballero , Y. García-Ruiz and F. Sáenz-Pérez

    A Set Oriented Calculus for Logic Programming

    . (2006)
    bibtex

  • M. Clavel and A. Riesco

    The Web ITP: a quick overview

    Proceedings of the Second International Congress on Tools for Teaching Logic (SICTTL). (2006)
    bibtex

  • M. Clavel and M. Egea

    Using Reflection to Implement in Maude a Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams

    Proceedings of the First International Workshop on Algebraic Foundations for OCL and Applications (WAFOCA). (2006)
    bibtex

  • M. Clavel and M. Egea

    ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.

    Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Proceedings. Pages 368-373.(2006)
    bibtex

  • M. Clavel , J. Meseguer and M. Palomino

    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn-Logic with Equality, and Rewriting Logic

    . (2006)
    bibtex

  • M. Clavel , M. Palomino and A. Riesco

    Introducing the ITP Tool: a Tutorial

    . Vol.12.. Pages 1618--1650.(2006)
    bibtex

  • J.M Cleva and I. Pita

    Verification of CRWL Programs with Rewriting Logic

    . Vol.12.. Pages 1594--1617.(2006)
    pdfbibtex

  • J. Correas , G. Puebla , M. Hermenegildo and F. Bueno

    Experiments in Context-Sensitive Analysis of Modular Programs

    15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR5). Pages 163--178.(2006)
    pdfbibtex

  • J. Dios and F.J López-Fraguas

    Elimination of Extra Variables from Functional Logic Programs

    VI Jornadas sobre Programación y Lenguajes (PROLE 2006). Pages 121-135.(2006)
    bibtex

  • S. Estévez-Martín , A. Fernández and F. Sáenz-Pérez

    Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation

    . (2006)
    pdfbibtex

  • J. Gallagher , G. Puebla and E. Albert

    Converting one Type-Based Abstract Domain to Another

    15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR5). (2006)
    pdfbibtex

  • F.J.López-Fraguas (editor)

    Special issue with extended selected papers from PROLE 2005

    . Vol.12.(2006)
    bibtex

  • F.J López-Fraguas , J. Rodríguez-Hortalá and J. Sánchez-Hernández

    Relating Two Semantic Descriptions of Functional Logic Programs

    VI Jornadas sobre Programación y Lenguajes (PROLE 2006). (2006)
    pdfbibtex

  • S. Nieva , F. Sáenz-Pérez and J. Sánchez

    Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas

    Sextas Jornadas de Programación y Lenguajes, PROLE. Pages 171--182.(2006)
    pdfbibtex

  • P. Pietrzak , J. Correas , G. Puebla and M. Hermenegildo

    Context-Sensitive Multivariant Assertion Checking in Modular Programs

    13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR6). Pages 392--406.(2006)
    pdfbibtex

  • G. Puebla , E. Albert and M. Hermenegildo

    Abstract Interpretation with Specialized Definitions

    The 13th International Static Analysis Symposium (SAS6). Pages 107--126.(2006)
    pdfbibtex

  • G. Puebla , E. Albert , P. Arenas and M. Hermenegildo

    On Abstraction-Carrying Code and Certificate-Size Reduction

    1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006). (2006)
    pdfbibtex

  • A. Sarasa and R.del Vado-Vírseda

    Propositional Logic Learning Objects

    Proceedings of the Second International Congress on Tools for Teaching Logic (SICTTL 2006). Pages 183-186.(2006)
    pdfbibtex

  • J. Sánchez-Hernández

    Constructive Failure in Functional-Logic Programming: From Theory to Implementation

    . Vol.12.. Pages 1574--1593.(2006)
    pdfbibtex

  • J. Sánchez-Hernández

    Constructive Failure in Functional-Logic Programming: from Theory to Implementation

    . Vol.12.. Pages 1574-1593.(2006)
    bibtex

  • Papers in 2005

  • E. Albert , M.Hanus F.Huch , J. Oliver and G. Vidal

    Operational Semantics for Declarative Multi-Paradigm Languages

    . Vol.40.. Pages 795-829.(2005)
    bibtex

  • R. Caballero

    A declarative debugger of incorrect answers for constraint functional-logic programs

    WCFLP 5: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming. Pages 8--13.(2005)
    pdfbibtex

  • M. Clavel , J. Hendrix and J. Meseguer

    A Sufficient Completeness Reasoning Tool for Partial Specifications

    Proc. 15th International Conference on Rewriting Techniques and Applications (RTA5). Vol.3467.. Pages 165--174.(2005)
    bibtex

  • M. Clavel , J. Meseguer and M. Palomino

    Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn-Logic with Equality, and Rewriting Logic

    . (2005)
    bibtex

  • M. Clavel and J. Santa-Cruz

    ASIP+ITP: A verification tool based on algebraic semactics

    Actas V Jornadas sobre Programación y Lenguajes, PROLE 2005. Pages 149--158.(2005)
    bibtex

  • M. Clavel and M. Palomino

    A quick ITP tutorial

    Actas V Jornadas sobre Programación y Lenguajes, PROLE 2005. Pages 159--172.(2005)
    pdfbibtex

  • J.M Cleva and I. Pita

    An approach to the verification of CRWL programs with rewriting logic

    Actas V Jornadas sobre Programación y Lenguajes, PROLE 2005. Pages 139--148.(2005)
    bibtex

  • J.M Cleva and I. Pita

    Verification of CRWL programs with rewriting logic

    . (2005)
    pdfbibtex

  • R.del Vado-Vírseda

    Declarative Constraint Programming with Definitional Trees

    Proceedings of the 5th International Conference on Frontiers of Combining Systems (FroCoS5). Vol.3717.. Pages 184-199.(2005)
    pdfbibtex

  • S. Estévez-Martín and R.del Vado-Vírseda

    Designing an efficient computation strategy in CFLP(FD) using definitional trees

    WCFLP 5: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming. Pages 23--31.(2005)
    pdfbibtex

  • J. Leach and S. Nieva

    Running HH(C) to deal with inductive inference

    Actas V Jornadas sobre Programación y Lenguajes, PROLE 2005. Pages 221--230.(2005)
    pdfbibtex

  • F.J López-Fraguas , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    Constraint Functional Logic Programming Revisited

    Proc. 5th International Workshop on Rewriting Logic and its Applications (WRLA04). Vol.117.. Pages 5--50.(2005)
    pdfbibtex

  • J. Sánchez-Hernández

    Implementing Constructive Failure in Functional-Logic programming

    Actas V Jornadas sobre Programación y Lenguajes, PROLE 2005. Pages 127--138.(2005)
    pdfbibtex

  • J. Santa-Cruz

    ITP/ASIP: A Verification Tool for Imperative Programs based on Algebraic Semantics

    . (2005)
    bibtex

  • J. Santa-Cruz

    ITP/ASIP: A Verification Tool based on Algebraic Semantics

    Proc. CALCO Young Researchers Workshop (Selected Papers). Pages 71--84.(2005)
    bibtex

  • Papers in 2004

  • R. Caballero

    Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales

    . (2004)
    pdfbibtex

  • R. Caballero and M. Rodríguez-Artalejo

    DDT: A Declarative Debugging Tool for Functional-Logic Languages

    Proc. 7th International Symposium on Functional and Logic Programming (FLOPS4). Vol.2998.. Pages 70--84.(2004)
    pdfbibtex

  • R. Caballero-Roldán , R.A Müller and H. Kuchen

    Constraint Solving for Generating Glass-Box Test Cases

    Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP4). Pages 19-32.(2004)
    pdfbibtex

  • J.M Cleva , J. Leach and F.J López-Fraguas

    A logic programming approach to the verification of functional-logic programs

    PPDP4. Pages 9-19.(2004)
    pdfbibtex

  • J.M Cleva , J. Leach and F.J López-Fraguas

    Una aproximación lógica a la verificación de propiedades de programas lógico-funcionales

    Actas IV Jornadas de Programación y Lenguajes (PROLE4). Pages 89--92.(2004)
    pdfbibtex

  • J.M Cleva , J. Leach and F.J López-Fraguas

    A logical approach to the verification of functional-logic programs

    Proc. 13th International Workshop of Fucntional and (Constraint) Logic Programming (WFLP4). Pages 33--48.(2004)
    pdfbibtex

  • A.J Fernández , T. Hortalá-González and F. Sáenz-Pérez

    TOY(FD): System, Sources and user manual

    . (2004)
    bibtex

  • M. García-Díaz and S. Nieva

    A Fixed Point Semantics for an Extended CLP Language

    Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP4). Pages 118--136.(2004)
    pdfbibtex

  • M. García-Díaz and S. Nieva

    Formalizing Two Fixed Point Semantics for extitHH(cal C)

    . Vol.2004.. Pages 30 pages.(2004)
    pdfbibtex

  • M. García-Díaz and S. Nieva

    Providing Declarative Semantics for extitHH Extended Constraint Logic Programs

    Proc. 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP4). Pages 55--66.(2004)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    A proof theoretic approach to failure in functional logic programming

    . Vol.4.. Pages 41-74.(2004)
    pdfbibtex

  • F.J López-Fraguas , M. Rodríguez-Artalejo and R.del Vado-Vírseda

    A Lazy Narrowing Calculus for Declarative Constraint Programming

    PPDP4. Pages 43--54.(2004)
    pdfbibtex

  • F. Sáenz-Pérez

    Datalog Educational System V1.1. User Manual

    . (2004)
    pdfbibtex

  • J. Sánchez-Hernández

    Una aproximación al fallo constructivo en programación declarativa multiparadigma

    . (2004)
    pdfbibtex

  • Papers in 2003

  • E. Albert , M. Hanus and G. Vidal

    A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs

    . Vol.85.. Pages 19-25.(2003)
    bibtex

  • R. Caballero and F.J López-Fraguas

    Improving Deterministic Computations in Lazy Functional Logic Languages

    . Vol.2003.. Pages 23 pages.(2003)
    pdfbibtex

  • J.M Cleva , J. Leach and F.J López-Fraguas

    Verificación de propiedades de programas lógico-funcionales

    . (2003)
    bibtex

  • R.del Vado-Vírseda

    A Demand-driven Narrowing Calculus with Overlapping Definitional Trees

    Proc. 5th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP3). Pages 213--227.(2003)
    pdfbibtex

  • R.del Vado-Vírseda

    A demand-driven narrowing calculus with overlapping definitional trees

    PPDP 3: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming. Pages 253--263.(2003)
    pdfbibtex

  • A.J Fernández , M.T Hortalá-González and F. Sáenz-Pérez

    TOY(FD): Sketch of Operational Semantics

    Principles and Practice of Constraint Programming (CP03). Pages 827-831.(2003)
    pdfbibtex

  • A.J Fernández , M.T Hortalá-González and aenz-Pérez

    Solving Combinatorial Problems with a Constraint Functional Logic Language

    5th International Symposium on Practical Aspects of Declarative Languages (PADL03). Pages 320-338.(2003)
    pdfbibtex

  • A.J Fernández , T. Hortalá-González and F. Sáenz-Pérez

    Solving combinatorial problems with a constraint functional logic language

    . Vol.2562.. Pages 320--338.(2003)
    pdfbibtex

  • M. García-Díaz and S. Nieva

    Solving Constraints for an Instance of an extended CLP language over a domain based on Real numbers and Herbrand terms

    . Vol.2003.(2003)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    Failure and equality in functional logic programming

    . Vol.86.. Pages 21 pages.(2003)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    Functional Logic Programming with Failure and Built-in Equality

    Proc. 12th Int Workshop on Functional and (Constraint) Logic Programming (WFLP3). Pages 61--74.(2003)
    pdfbibtex

  • Papers in 2002

  • E. Albert

    Partial Evaluation of Multi-Paradigm Declarative Languages

    . Vol.14.. Pages 235-237.(2002)
    bibtex

  • E. Albert and G. Vidal

    The Narrowing-Driven Approach to Functional Logic Program Specialization

    . Vol.20.. Pages 3-26.(2002)
    bibtex

  • E. Albert and G. Vidal

    Symbolic Profiling for Multi-paradigm Declarative Languages

    Logic-Based Program Synthesis and Transformation (Proc. of LOPSTR1). Pages 148-167.(2002)
    bibtex

  • E. Albert , M.Hanus and and G. Vidal

    A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages

    . Vol.2002.(2002)
    bibtex

  • R. Caballero and W. Lux

    Declarative Debugging for Encapsulated Search

    11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Selected Papers. Vol.76.(2002)
    bibtex

  • R. Caballero and F.J López-Fraguas

    Dynamic-Cut with Definitional Trees

    FLOPS 2: Proceedings of the 6th International Symposium on Functional and Logic Programming. Pages 245--258.(2002)
    pdfbibtex

  • R. Caballero and M. Rodríguez-Artalejo

    A Declarative Debugging System for Lazy Functional Logic Programs.

    . Vol.64.(2002)
    pdfbibtex

  • A.J Fernández , M.T Hortalá-González and F. Sáenz-Pérez

    A Constraint Functional Logic Language for Solving Combinatorial Problems

    Research and Development in Intelligent Systems XIX. Pages 337-350.(2002)
    pdfbibtex

  • M. García-Díaz and S. Nieva

    Solving Mixed Quantifiers Constraints over a Domain Based on Real Numbers and Herbrand Terms

    Proc. 6th International Symposium on Functional and Logic Programming (FLOPS2). Vol.2441.. Pages 103--118.(2002)
    bibtex

  • M. García-Díaz and S. Nieva

    Solving mixed quantified constraints over a domain based on real numbers and Herbrand terms

    FLOPS2. (2002)
    pdfbibtex

  • M. García-Díaz and S. Nieva

    Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms

    FLOPS 2: Proceedings of the 6th International Symposium on Functional and Logic Programming. Pages 103--118.(2002)
    pdfbibtex

  • M.T Hortalá-González and F. Sáenz-Pérez

    Interfacing a Functional Logic Language with a Finite Domain Solver

    11th International Workshop on Functional and (constraint) Logic Programming (WFLP 2002). (2002)
    bibtex

  • F.J López-Fraguas and J.Sánchez Hernández

    Narrowing failure in functional logic programming

    Proc. 6th International Symposium on Functional and Logic Programming (FLOPS2). Vol.2441.. Pages 212--227.(2002)
    pdfbibtex

  • Papers in 2001

  • E. Albert , S. Antoy and G. Vidal

    Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages

    Proc. of 10th Int Workshop on Logic-based Program Synthesis and Transformation (LOPSTR00). Pages 103-124.(2001)
    bibtex

  • J.M Almendros-Jiménez , A. Becerra-Terón and J. Sánchez-Hernández

    A Computational Model for Functional Logic Deductive Databases

    Proceedings of the 17th International Conference on Logic Programming. Pages 331--347.(2001)
    pdfbibtex

  • R. Caballero , F.J López-Fraguas and M. Rodríguez-Artalejo

    Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs

    FLOPS 1: Proceedings of the 5th International Symposium on Functional and Logic Programming. Pages 170--184.(2001)
    pdfbibtex

  • A. Ibarra and F. Saenz

    Pipelined Genetic Architecture with Fitness on the Fly

    DSD 1: Proceedings of the Euromicro Symposium on Digital Systems Design. Pages 382.(2001)
    pdfbibtex

  • J. Leach , S. Nieva and M. Rodríguez-Artalejo

    Constraint Logic Programming with Hereditary Harrop Formulas

    . Vol.1.. Pages 409--445.(2001)
    bibtex

  • F.J López-Fraguas and J.Sánchez- Hernández

    Functional Logic Programming with Failure: A Set-Oriented View

    LPAR1: Proceedings of the Artificial Intelligence on Logic for Programming. Pages 455--469.(2001)
    pdfbibtex

  • M. Rodríguez-Artalejo

    Functional and Constraint Logic Programming

    Constraints in Computational Logics, Theory and Applications. Vol.2002.. Pages 202-270.(2001)
    bibtex

  • Papers in 2000

  • E. Albert , C. Ferri , F. Steiner and G. Vidal

    Improving Functional Logic Programs by Difference-Lists

    Proc. of 6th Asian Computing Science Conference, ASIAN00. Pages 238-255.(2000)
    bibtex

  • E. Albert , M. Hanus and G. Vidal

    Using an Abstract Representation to Specialize Functional Logic Programs

    Proc. of 7th International Conference on Logic for Programming and Automated Reasoning, LPAR00. Pages 381-398.(2000)
    bibtex

  • R. Caballero and F.J López-Fraguas

    Extensions: A Technique for Structuring Functional-Logic Programs

    PSI 9: Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics. Pages 297--310.(2000)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    Proving Failure in Functional Logic Programs

    CL: Proceedings of the First International Conference on Computational Logic. Pages 179--193.(2000)
    pdfbibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    A hybrid evolutionary approach for solving constrained optimization problems over finite domainss

    Evolutionary Computation,, IEEE Transactions on. Pages 353--372.(2000)
    pdfbibtex

  • Papers in 1999

  • E. Albert , M. Alpuente , M. Hanus and G. Vidal

    A Partial Evaluation Framework for Curry Programs

    Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR9). Pages 376-395.(1999)
    bibtex

  • P. Arenas-Sánchez , F.J López-Fraguas and M. Rodrúguez-Artalejo

    Functional Plus Logic Programming with Built-In and Symbolic Constraints.

    PPDP. Pages 152-169.(1999)
    pdfbibtex

  • R. Caballero-Roldán and F.J.López Fraguas

    Functional-Logic Parsers In TOY

    . (1999)
    pdfbibtex

  • R. Caballero and F.J López-Fraguas

    A Functional-Logic Perspective on Parsing

    FLOPS 9: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming. Pages 85--99.(1999)
    bibtex

  • J.C González-Moreno , M.T Hortalá-González , F.J López-Fraguas and M. Rodríguez-Artalejo

    An Approach to Declarative Programming Based on a Rewriting Logic

    . Vol.40.. Pages 47--87.(1999)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    TOY: A Multiparadigm Declarative System

    RtA 9: Proceedings of the 10th International Conference on Rewriting Techniques and Applications. Pages 244--247.(1999)
    pdfbibtex

  • F.J López-Fraguas and J. Sánchez-Hernández

    Disequalities May Help to Narrow.

    APPIA-GULP-PRODE. Pages 89-104.(1999)
    bibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    Parallel Implementation of Constraint Solving

    Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 1999. Proceedings. Pages 466--472.(1999)
    pdfbibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    Parallel Execution Models for Constraint Programming over Finite Domains

    Proceedings of the International Conference on Principles and Practice of Declarative Programming(PPDP 9). Pages 134--151.(1999)
    bibtex

  • Papers in 1998

  • P. Arenas-Sánchez , F.J López-Fraguas and M. Rodrúguez-Artalejo

    Embedding Multiset Constraints into a Lazy Functional Logic Language.

    PLILP/ALP. Pages 429-444.(1998)
    pdfbibtex

  • M.T Hortalá-González , J. Leach-Albert and M. Rodríguez-Artalejo

    Matemática Discreta y Lógica Matemática

    . (1998)
    bibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    Parallel Arc-Consistency for Functional Constraints

    Implementation Technology for Programming Languages based on Logic. Pages 86-100.(1998)
    pdfbibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    Parallel Evolutionary Optimisation with Constraint Propagation

    Parallel Problem Solving from Nature ? PPSN V 5th International Conference Amsterdam, The Netherlands September 27?30, 1998 Proceedings. Pages 270--279.(1998)
    pdfbibtex

  • A. Ruiz-Andino , L. Araujo , F. Saenz and J.J Ruz

    Parallel Execution Models for Constraint Propagation

    Principles and Practice of Constraint Programming - CP98: 4th International Conference, CP98, Pisa, Italy, October 1998. Proceedings. Pages 473--473.(1998)
    pdfbibtex

  • Papers in 1997

  • P. Arenas-Sánchez and A. Dovier

    A minimality study for set unification

    . (1997)
    pdfbibtex

  • P. Arenas-Sánchez and M. Rodríguez-Artalejo

    A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types.

    ILPS. Pages 53-67.(1997)
    bibtex

  • P. Arenas-Sánchez and M. Rodríguez-Artalejo

    A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.

    TAPSOFT. Pages 453-464.(1997)
    bibtex

  • M.T Hortalá-González , F.J López-Fraguas , J. Sánchez-Hernández and E. Ullán-Hernández

    Declarative programming with real constraints

    . (1997)
    pdfbibtex

  • Papers in 1996

  • P. Arenas-Sánchez , Hortalá-González M.T , F.J López-Fraguas and E. Ullán

    Real Constraints within a Functional Logic Language.

    APPIA-GULP-PRODE. Pages 451-464.(1996)
    pdfbibtex

  • J.C González-Moreno , M.T Hortalá-González , F.J López-Fraguas and M. Rodríguez-Artalejo

    A Rewriting Logic for Declarative Programming

    6th European Symposium on Programming (ESOP6). Pages 156-172.(1996)
    bibtex

  • Papers in 1995

  • P. Arenas-Sánchez and A. Dovier

    Minimal Set Unification

    PLILP. Pages 397-414.(1995)
    bibtex

  • P. Arenas-Sánchez and A. Gil-Luezas

    A Debugging Model for Lazy Narrowing

    PLILP. Pages 453-454.(1995)
    bibtex

  • Papers in 1994

  • P. Arenas-Sánchez and A. Gil-Luezas

    A Debugging Model for Lazy Functional Logic Languages.

    GULP-PRODE (2). Pages 117-131.(1994)
    bibtex

  • P. Arenas-Sánchez , A. Gil-Luezas and F.J López-Fraguas

    Combining Lazy Narrowing with Disequality Constraints.

    PLILP. Pages 385-399.(1994)
    pdfbibtex

  • Click a year
    2009
    2008
    2007
    2006
    2005
    2004
    Before 2003