mistupv/slicerl mistupv/slicerl

  • Stars
    star
    8
  • Rank 2,046,674 (Top 42 %)
  • Language
    Erlang
  • Created over 12 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mistupv/slicerl
github

mistupv

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Slicing for Erlang

More Repositories

1

JavaSlicer

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

cauder-core

A Causal-Consistent Debugger for (Core) Erlang
Erlang
18
star
3

cauder

A Causal-Consistent Reversible Debugger for Erlang
Erlang
16
star
4

SWIPrologZ3

A simple Prolog API for the Z3 constraint solver
C
14
star
5

rev-erlang

An implementation of the reversible semantics for Erlang.
Erlang
13
star
6

rever

Prolog
7
star
7

rev-rewriting

A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Prolog
6
star
8

tracer

Erlang
3
star
9

EDG

The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
Java
2
star
10

csp_tracker

CSP-Tracker: Generator of CSP tracks
Erlang
2
star
11

dining-philos

An implementation of the dining philosophers problem in Erlang
Erlang
2
star