mistupv/rev-rewriting

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Prolog
License
MIT License
Created about 8 years ago
Updated almost 8 years ago

mistupv/rev-rewriting

mistupv

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

A tool for the transformation of an irreversible Term Rewriting System into a reversible one

JavaSlicer

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

cauder-core

A Causal-Consistent Debugger for (Core) Erlang

cauder

A Causal-Consistent Reversible Debugger for Erlang

SWIPrologZ3

A simple Prolog API for the Z3 constraint solver

rev-erlang

An implementation of the reversible semantics for Erlang.

slicerl

Slicing for Erlang

rever

tracer

EDG

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

csp_tracker

CSP-Tracker: Generator of CSP tracks

dining-philos

An implementation of the dining philosophers problem in Erlang