12 citations · 33 across the 11 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
Josep Silva
This volume constitutes the pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018). It is formed of those papers selected by the program…
cs.PL2018★ 1 cited
Erlang Code Evolution Control (Use Cases)
David Insa, Sergio Pérez, Josep Silva +1
The main goal of this work is to show how SecEr can be used in different scenarios. Concretely, we demonstrate how a user can run SecEr to obtain reports about the behaviour preser…