The MiST group (Multi-paradigm Software Technology)

icon indicating a website link https://gvidal.webs.upv.es/mist/index.html icon indicating an email [email protected]

icon location València, Spain icon location The MiST research group is focused on different aspects of programming languages, combining both theoretical developments and practical applications

Results 3 repositories owned by The MiST group (Multi-paradigm Software Technology)

cauder

16
Stars
4
Forks
Watchers

A Causal-Consistent Reversible Debugger for Erlang

verified publisher icon mistupv

cauder-core

18
Stars
3
Forks
Watchers

A Causal-Consistent Debugger for (Core) Erlang

verified publisher icon mistupv

JavaSlicer

50
Stars
16
Forks
Watchers

A program slicer for Java, based on the system dependence graph (SDG).

verified publisher icon mistupv