The MiST group (Multi-paradigm Software Technology)

The MiST research group is focused on different aspects of programming languages, combining both theoretical developments and practical applications

Popular repositories Loading

JavaSlicer JavaSlicer Public

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

Java 70 20
cauder cauder Public

A Causal-Consistent Reversible Debugger for Erlang

Erlang 20 4
cauder-core cauder-core Public

A Causal-Consistent Debugger for (Core) Erlang

Erlang 18 3
SWIPrologZ3 SWIPrologZ3 Public

A simple Prolog API for the Z3 constraint solver

C 15 2
rev-erlang rev-erlang Public

An implementation of the reversible semantics for Erlang.

Erlang 13
slicerl slicerl Public

Slicing for Erlang

Erlang 8