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 還沒有評估資料。