AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
Parallel independence
オープン
- 主要言語
- Julia
- スター
- 41
- フォーク
- 9
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Given a set of (DPO) rewrite rules with matches, we can easily check if they only overlap in preserved parts of their patterns (no rule deletes something that is referenced by any other rule).
In this scenario, we can combine the rules to form one big rule that is executed concurrently.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。