当前位置:
X-MOL 学术
›
arXiv.cs.PL
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
arXiv - CS - Programming Languages Pub Date : 2020-09-22 , DOI: arxiv-2009.10254 Finn Teegen (Kiel University)
arXiv - CS - Programming Languages Pub Date : 2020-09-22 , DOI: arxiv-2009.10254 Finn Teegen (Kiel University)
In this research summary we present our recent work on implementing
functional patterns with inverse functions in the lazy functional-logic
programming language Curry. Our goal is the synthesis of the inverse of any
given function in Curry itself. The setting of a functional-logic language
especially allows the inversion of non-injective functions. In general, inverse
computation is a non-trivial problem in lazy programming languages due to their
non-strict semantics. We are so far able to directly derive the inverse
function for a limited class of functions, namely those consisting of rules
that do not involve both extra variables and non-linear right-hand sides.
Because the synthesized definitions are based on standard code, known
optimizations techniques can be applied to them. For all other functions we can
still provide an inverse function by using non-strict unification.
中文翻译:
综合反函数实现函数模式研究综述
在本研究总结中,我们展示了我们最近在惰性函数逻辑编程语言 Curry 中使用反函数实现函数模式的工作。我们的目标是综合 Curry 本身中任何给定函数的逆。函数逻辑语言的设置尤其允许非内射函数的反演。一般来说,由于非严格语义,逆向计算在惰性编程语言中是一个非平凡的问题。到目前为止,我们能够直接推导出有限类函数的反函数,即那些由不涉及额外变量和非线性右侧的规则组成的函数。因为综合定义基于标准代码,所以可以对它们应用已知的优化技术。
更新日期:2020-09-23
中文翻译:
综合反函数实现函数模式研究综述
在本研究总结中,我们展示了我们最近在惰性函数逻辑编程语言 Curry 中使用反函数实现函数模式的工作。我们的目标是综合 Curry 本身中任何给定函数的逆。函数逻辑语言的设置尤其允许非内射函数的反演。一般来说,由于非严格语义,逆向计算在惰性编程语言中是一个非平凡的问题。到目前为止,我们能够直接推导出有限类函数的反函数,即那些由不涉及额外变量和非线性右侧的规则组成的函数。因为综合定义基于标准代码,所以可以对它们应用已知的优化技术。