首页> 外文会议>Declarative programming and knowledge management >On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry
【24h】

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry

机译:在函数逻辑编程语言库里实现精确实数运算的高级方法

获取原文
获取原文并翻译 | 示例

摘要

While many functions on the real numbers are not exactly computable, the theory of exact real arithmetic investigates the computation of such functions with respect to any given precision. In this paper, we present an approach to implementing exact real arithmetic based on Type-2 Theory of Effectivity in the functional logic language Curry. It is demonstrated how the specific features of Curry can be used to obtain a high-level realisation that is close to the underlying theoretical concepts. The new Curry data type Real and its corresponding functions can easily be used in other function definitions.
机译:尽管实数上的许多函数无法精确计算,但是精确实数算术理论针对任何给定的精度研究了此类函数的计算。在本文中,我们提出了一种在功能逻辑语言库里基于类型2有效性理论实现精确实数算法的方法。演示了如何使用Curry的特定功能来获得接近基础理论概念的高级实现。新的Curry数据类型Real及其对应的函数可以轻松地用于其他函数定义中。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号