The MiST group (Multi-paradigm Software Technology)

All

25 repositories

cauder
Public
A Causal-Consistent Reversible Debugger for Erlang
wxwidgets concurrent-programming abstract-syntax-tree reversible-computation causal-consistency debugger erlang
Erlang
•
MIT License
•4•17•1•3•Updated Oct 5, 2024Oct 5, 2024
JavaSlicer
Public
A program slicer for Java, based on the system dependence graph (SDG).
static-analysis dependence-graph sdg slicer program-slicing
Java
•
GNU Affero General Public License v3.0
•18•55•4•2•Updated Jul 7, 2023Jul 7, 2023
slicerl
Public
Slicing for Erlang
Erlang
•0•8•0•0•Updated Dec 11, 2022Dec 11, 2022
EDG
Public
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
static-analysis sdg program-slicing edg
Java
•0•2•0•1•Updated Jun 29, 2022Jun 29, 2022
prologt
Public
Prolog
•
MIT License
•0•0•0•0•Updated Mar 5, 2022Mar 5, 2022
xgen
Public
An explanation generator for ProbLog
Prolog
•
MIT License
•0•0•0•0•Updated Feb 11, 2022Feb 11, 2022
tnt
Public
Prolog
•0•0•0•0•Updated Jan 30, 2022Jan 30, 2022
rever
Public
Prolog
•
MIT License
•0•7•0•0•Updated Nov 15, 2021Nov 15, 2021
cauder-core
Public
A Causal-Consistent Debugger for (Core) Erlang
debugging consistency concurrent-programming reversible causality core-erlang reversible-computation causal-consistency erlang wxwidgets
Erlang
•
MIT License
•3•18•0•0•Updated Jul 8, 2021Jul 8, 2021
tracer
Public
Erlang
•
MIT License
•0•3•0•0•Updated May 31, 2021May 31, 2021
java-slicing-benchmarks
Public
Benchmarks for Java program slicers
Java
•0•0•0•0•Updated Jan 14, 2021Jan 14, 2021
csp_tracker
Public
CSP-Tracker: Generator of CSP tracks
Erlang
•1•2•0•0•Updated Dec 7, 2020Dec 7, 2020
secer
Public
SecEr: Erlang Code Evolution Control Tool
Erlang
•1•0•0•0•Updated Jan 23, 2019Jan 23, 2019
erlmix
Public
Erlang partial evaluator
Erlang
•
MIT License
•0•0•0•0•Updated Jul 9, 2018Jul 9, 2018
edd
Public
Erlang Declarative Debugger
Erlang
•
GNU General Public License v3.0
•4•0•0•0•Updated Mar 22, 2018Mar 22, 2018
SWIPrologZ3
Public
A simple Prolog API for the Z3 constraint solver
c api prolog z3 swi z3-smt-solver
C
•
MIT License
•2•14•0•0•Updated Feb 5, 2018Feb 5, 2018
dining-philos
Public
An implementation of the dining philosophers problem in Erlang
debugging erlang concurrency dining-philosophers dining-philosophers-problem
Erlang
•
MIT License
•0•2•0•0•Updated Dec 6, 2017Dec 6, 2017
rev-erlang
Public
An implementation of the reversible semantics for Erlang.
reversible-computation erlang evaluation wxwidgets reversible-semantics rev-erlang
Erlang
•
MIT License
•0•13•0•0•Updated Nov 9, 2017Nov 9, 2017
Magic-Tool
Public
Java
•0•0•0•0•Updated Sep 11, 2017Sep 11, 2017
Magic-Button
Public
Erlang
•0•0•0•0•Updated Sep 11, 2017Sep 11, 2017
e-Knife
Public
Java
•0•0•0•0•Updated Sep 11, 2017Sep 11, 2017
csp_reversible
Public
Erlang
•2•0•0•0•Updated Jun 4, 2017Jun 4, 2017
pn_suite
Public
A suite of tools for Petri Nets
Erlang
•2•0•0•0•Updated Apr 7, 2017Apr 7, 2017
rev-rewriting
Public
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
functional-programming prolog term-rewriting reversible-computation program-inversion transformations trs
Prolog
•
MIT License
•2•7•0•0•Updated Jan 20, 2017Jan 20, 2017
slice_dialyzer
Public
Erlang
•0•0•0•0•Updated Nov 13, 2012Nov 13, 2012