Skip to content

jandom-devel/ScalaFix

Repository files navigation

ScalaFix

A Scala library for solving fixpoint equations.

It implements several equation solvers, from simple Kleene's iteration to complex methods involving hierarchical ordering.

Scalafix supports both finite and infinite sets of equations and many techniques for accelerate, approximate or ensure the convergence of the iteration method to a fixpoint, such as widening, narrowing, warrowing, localized widening.

ScalaFix can be used as a backend for a static analyzer and a general-purpose library for finding fixpoints in equation systems.

A set of examples and benchmarks is implemented in ScalaFixExamples https://github.com/jandom-devel/ScalaFixExamples.

The compiled code is available on the Sonatype OSSRH (OSS Repository Hosting) https://oss.sonatype.org/ with group it.unich.scalafix and artifact scalafix.

About

A Scala library for solving fixpoint equations

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages