User Guide

  • someday‚Ķ

Rust Library

Relision Language (RL)


Relision will be a term rewriting library written in Rust.

Relision is, in some ways, a successor to Elision. Elision is a term rewriter written in Scala and donated to Oak Ridge National Laboratory (ORNL), where it became the core of ORNL's Hyperion static analysis system.

Relision focuses on performance through improved concurrency and the elimination of garbage collection, and a simplified language for expressing rewriting rules and strategies.

Relision is under development right now, but as it develops documentation will appear here. If you want to follow the development, you can visit my blog.

  • start.txt
  • Last modified: 2019/01/09 17:35
  • by sprowell