- -

Listar por palabra clave "Logic programming"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Logic programming"

Ordenar por:Orden:Resultados:

  • thumb
    A Framework for Computing Finite SLD Trees 
    Nishid, Naoki; Vidal Oriola, Germán Francisco (Elsevier, 2015-03)
    The search space of SLD resolution, usually represented by means of a so-called SLD tree, is often infinite. However, there are many applications that must deal with possibly infinite SLD trees, like partial evaluation or ...
  • thumb
    A hybrid approach to conjunctive partial evaluation of logic programs 
    Vidal Oriola, Germán Francisco (Springer Verlag (Germany), 2011)
    Conjunctive partial deduction is a well-known technique for the partial evaluation of logic programs. The original formulation follows the so called online approach where all termination decisions are taken on-the-fly. In ...
  • thumb
    Concolic Testing in Logic programming 
    Mesnard, Fred; Payet, Etienne; Vidal Oriola, Germán Francisco (Cambridge University Press, 2015-07)
    Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a ...
  • thumb
    Desarrollo de un tutorial interactivo para el aprendizaje de Prolog 
    García Muñoz, Carlos (Universitat Politècnica de València, 2024-07-30)
    [ES] Este proyecto pretende ayudar a aquellas personas que se adentran por primera vez en la programación lógica, ofreciéndoles una introducción paso a paso, ejemplos claros y prácticos, y un entorno amigable para aprender ...
  • thumb
    Fast Offline Partial Evaluation of Logic Programs 
    Leuschel, Michael; Vidal Oriola, Germán Francisco (Elsevier, 2014-04)
    One of the most important challenges in partial evaluation is the design of automatic methods for ensuring the termination of the process. In this work, we introduce sufficient conditions for the strong (i.e., independent ...
  • thumb
    Graph generation to statically represent CSP processes 
    Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Springer Verlag (Germany), 2011)
    The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...
  • thumb
    Selective Unification in (Constraint) Logic Programming 
    Mesnard, Fred; Payet, Etienne; Vidal, Germán (IOS Press, 2020)
    [EN] Concolic testing is a well-known validation technique for imperative and object oriented programs. In a previous paper, we have introduced an adaptation of this technique to logic programming. At the heart of our ...