当前位置:
X-MOL 学术
›
arXiv.cs.SC
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
arXiv - CS - Symbolic Computation Pub Date : 2021-02-15 , DOI: arxiv-2102.07888 Alessandro Cheli
arXiv - CS - Symbolic Computation Pub Date : 2021-02-15 , DOI: arxiv-2102.07888 Alessandro Cheli
We introduce Metatheory.jl: a lightweight and performant general purpose
symbolics and metaprogramming framework meant to simplify the act of writing
complex Julia metaprograms and to significantly enhance Julia with a native
term rewriting system, based on state-of-the-art equality saturation
techniques, and a dynamic first class Abstract Syntax Tree (AST) pattern
matching system that is dynamically composable in an algebraic fashion, taking
full advantage of the language's powerful reflection capabilities. Our
contribution allows to perform general purpose symbolic mathematics,
manipulation, optimization, synthesis or analysis of syntactically valid Julia
expressions with a clean and concise programming interface, both during
compilation or execution of programs.
中文翻译:
Metatheory.jl:Julia中具有可扩展的等式饱和度的快速优雅的代数计算
我们介绍Metatheory.jl:一种轻巧且性能卓越的通用符号和元编程框架,旨在简化基于先进的等式饱和技术的复杂Julia元程序的编写过程,并通过本地术语重写系统显着增强Julia ,以及动态的一流抽象语法树(AST)模式匹配系统,该系统可以以代数方式动态组合,从而充分利用了该语言强大的反射功能。我们的贡献使您可以在程序的编译或执行过程中,以简洁简洁的编程接口执行通用符号数学,句法有效的Julia表达式的运算,优化,综合或分析。
更新日期:2021-02-17
中文翻译:
Metatheory.jl:Julia中具有可扩展的等式饱和度的快速优雅的代数计算
我们介绍Metatheory.jl:一种轻巧且性能卓越的通用符号和元编程框架,旨在简化基于先进的等式饱和技术的复杂Julia元程序的编写过程,并通过本地术语重写系统显着增强Julia ,以及动态的一流抽象语法树(AST)模式匹配系统,该系统可以以代数方式动态组合,从而充分利用了该语言强大的反射功能。我们的贡献使您可以在程序的编译或执行过程中,以简洁简洁的编程接口执行通用符号数学,句法有效的Julia表达式的运算,优化,综合或分析。