12 citations · 31 across the 17 of their papers we have counts for
Showing 2016 · cs.PLShow all
2 papers · 2 filters
cs.PL2016★ 1 cited
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…
cs.PL2016★ 3 cited
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…