3 citations · 4 across the 4 of their papers we have counts for
4 papers
Towards Reversible Computation in Erlang
Naoki Nishida, Adrián Palacios, Germán Vidal
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 programmin…
Tuning Fuzzy Logic Programs with Symbolic Execution
Ginés Moreno, Jaime Penabad, Germán Vidal
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic prog…
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular dynamic validation technique that can be used for both model checking and automatic test case generation. We have recently introduced concolic testing…
Proceedings of CICLOPS-WLPE 2010
German Vidal, Neng-Fa Zhou
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburg…