- -

Listar por autor "Vidal Oriola, Germán Francisco"

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

Listar por autor "Vidal Oriola, Germán Francisco"

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
    A theory of reversibility for Erlang 
    Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán (Elsevier, 2018-11)
    [EN] In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it ...
  • thumb
    An Analysis of the Current Program Slicing and Algorithmic Debugging Based Techniques 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2012-01-10)
    This thesis presents a classification of program slicing based techniques. The classification allows us to identify the differences between existing techniques, but it also allows us to predict new slicing techniques. The ...
  • thumb
    An SMT-Based Concolic Testing Tool for Logic Programs 
    Fortz, Sophie; Mesnard, Fred; Payet, Etienne; Perrouin, Gilles; Vanhoof, Wim; Vidal, Germán (Springer Nature, 2020-04-25)
    [EN] Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits have been demonstrated for more than 15 years in the case of imperative programs. In ...
  • thumb
    Analysis Techniques for Concurrent Programming Languages 
    Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2013-09-02)
    Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas ...
  • thumb
    Análisis semántico y transformación de programas lógico-funcionales 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2015-10-08)
    El problema de la integraci on de la programaci on l ogica y funcional est a considerado como uno de los m as importantes en el area de investigaci on sobre programaci on declarativa. Para que los lenguajes declarativos ...
  • thumb
    Annotation of logic programs for independent AND-Parallelism by partial evaluation 
    Vidal Oriola, Germán Francisco (Cambridge University Press (CUP), 2012-07)
    Traditional approaches to automatic AND-parallelization of logic programs rely on some static analysis to identify independent goals that can be safely and efficiently run in parallel in any possible execution. In this ...
  • Icon
    Antivirus para los alojamientos web: Destructor de Amenazas Web 
    Colomer Angulo, Rafael (Universitat Politècnica de València, 2016-02-17)
    El objetivo de este proyecto es el desarrollo de un antivirus capaz de detectar y bloquear los virus y amenazas web que puedan atacar a un sistema de Alojamiento Web, y conseguir proporcionar una protección y un control ...
  • thumb
    Aplicación parcial de funciones 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2016-05-17)
    En el vídeo se introduce la aplicación parcial de funciones en el contexto de un lenguaje de programación funcional.
  • Icon
    Aplicación web para la gestión de un club de pádel 
    Contell Monje, Arcadio (Universitat Politècnica de València, 2010-11-03)
  • thumb
    Árboles SLD en programación lógica 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2018-06-19)
    En este vídeo se introduce el concepto de árbol SLD en el contexto de la programación lógica. Dado un programa lógico y un objetivo, su ejecución consiste en construir el árbol SLD asociado empleando una cierta estrategia ...
  • Icon
    Buscador de textos legales 
    Aspas Ferrando, Gregorio (Universitat Politècnica de València, 2010-11-08)
  • thumb
    Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs 
    Lanese, Ivan; Palacios, Adrián; Vidal, Germán (IOS Press, 2021)
    [EN] Causal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When ...
  • thumb
    Cálculo de las expresiones eliminadas de un programa 
    Vidal Oriola, Germán Francisco (2022-07-01)
    En el vídeo se introduce la definición formal de una función (kill) para calcular las expresiones eliminadas en cada bloque de un programa. La función kill se emplea en diferentes contextos, como es el caso del análisis ...
  • thumb
    Cálculo de las expresiones generadas de un programa 
    Vidal Oriola, Germán Francisco (2022-07-14)
    En el vídeo se introduce la definición formal de una función (gen) para calcular las expresiones generadas en cada bloque de un programa. La función gen se emplea en diferentes contextos, como es el caso del análisis de ...
  • thumb
    Cálculo de las variables definidas en un programa 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2022-07-18)
    En el vídeo se introduce la definición formal de una función (kill) para calcular las variables definidas en cada bloque de un programa. La función kill se emplea en diferentes contextos, como es el caso del análisis de ...
  • thumb
    Cálculo de las variables usadas en un programa 
    Vidal Oriola, Germán Francisco (2022-07-27)
    En el vídeo se introduce la definición formal de una función (gen) para calcular las variables usadas en cada bloque de un programa. La función gen se emplea en diferentes contextos, como es el caso del análisis de variables ...
  • thumb
    Cálculo de los bloques finales de un programa 
    Vidal Oriola, Germán Francisco (2022-06-27)
    El vídeo introduce la definición formal de la función "final" para el cálculo de los bloques "finales" (los que se ejecutan al final) de una sentencia o un programa escrito en el lenguaje WHILE.
  • thumb
    Cálculo del bloque inicial de un programa 
    Vidal Oriola, Germán Francisco (2022-06-30)
    En este vídeo se presenta la definición formal de la función init y su aplicación para calcular la etiqueta del bloque inicial de un programa escrito en el lenguaje WHILE.