Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
复制标题
Metatheory.jl：Julia 中具有可扩展等式饱和度的快速、优雅的代数计算
DOI：
10.21105/joss.03078
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Alessandro Cheli
中科院分区：
文献类型：
--
作者：
Alessandro Cheli
我们介绍了Metatheory.jl：一个轻量级和高性能的通用符号和元编程框架，旨在简化编写复杂Julia元程序的行为，并通过基于最先进的等式饱和技术的本机术语重写系统和动态第一类抽象语法树(AST)模式匹配系统显著增强Julia，该系统可以以代数方式动态组合，充分利用该语言强大的反射能力。我们的贡献允许在编译或执行程序期间，使用干净简洁的编程接口执行通用符号数学、操纵、优化、合成或分析语法上有效的Julia表达式。
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.
Egg：快速且可扩展的平等饱和
影响因子：
--
作者：
Willsey, Max;Nandi, Chandrakana;Wang, Yisu Remy;Flatt, Oliver;Tatlock, Zachary;Panchekha, Pavel
通讯作者：
Panchekha, Pavel
Julia 的世界时代：在 eval 存在的情况下优化方法调度
影响因子：
--
作者：
Belyakova, Julia;Chung, Benjamin;Gelinas, Jack;Nash, Jameson;Tate, Ross;Vitek, Jan
通讯作者：
Vitek, Jan