- -

Listar por palabra clave "Reversible debugging"

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

Listar por palabra clave "Reversible debugging"

Ordenar por:Orden:Resultados:

  • thumb
    Depuración reversible en Erlang 
    González Abril, Juan José (Universitat Politècnica de València, 2020-10-15)
    [ES] Recientemente, se ha introducido una nueva técnica de depuración para los programas concurrentes. Por un lado, la técnica permite recorrer una ejecución tanto hacia delante como hacia atrás, lo que resulta muy útil ...
  • thumb
    Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang 
    Palacios Corella, Adrián (Universitat Politècnica de València, 2020-03-20)
    [ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas ...