-
Universitat Politècnica de València
- València, Spain
- http://users.dsic.upv.es/~gvidal/german/mist/
Stars
An implementation of the reversible semantics for Erlang.
A tool for the transformation of an irreversible Term Rewriting System into a reversible one