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

被引：1
|
作者：
Beierle, Christoph [1 ]
Lelitko, Udo [1 ]
机构：
[1] Fernuniv, Dept Comp Sci, D-58084 Hagen, Germany
来源：
DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT | 2014年 / 8439卷
关键词：
D O I：
10.1007/978-3-319-08909-6_4
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：48 / 64
页数：17
相关论文
共 50 条
  • [1] High-level database programming in curry
    Brassel, Bernd
    Hanus, Michael
    Mueller, Marion
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2008, 4902 : 316 - 332
  • [2] High-Level Logic Programming
    Osorio, M
    Zacarias, F
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 226 - 240
  • [3] An approach to high-level synthesis using constraint logic programming
    Kuchcinski, K
    [J]. 24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 74 - 82
  • [4] IMPLEMENTING LISP IN A HIGH-LEVEL LANGUAGE
    FITCH, JP
    NORMAN, AC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1977, 7 (06): : 713 - 725
  • [5] VALID, A HIGH-LEVEL FUNCTIONAL PROGRAMMING LANGUAGE FOR DATA FLOW MACHINES
    AMAMIYA, M
    HASEGAWA, R
    ONO, S
    [J]. REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1984, 32 (05): : 793 - 802
  • [6] IMPLEMENTING LANGUAGE SUPPORT IN HIGH-LEVEL LANGUAGES
    MCKENDRY, MS
    CAMPBELL, RH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (03) : 227 - 236
  • [7] TEACHING ASSEMBLY-LANGUAGE PROGRAMMING: A HIGH-LEVEL APPROACH.
    Crookes, D.
    [J]. Software & Microsystems, 1983, 2 (02): : 40 - 43
  • [8] Scheduling in high-level synthesis using a hybrid Constraint Logic Programming/Integer Programming approach
    Ahmed, Mohamed M.
    Abdel-Malek, Hany L.
    [J]. 2006 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2006, : 127 - +
  • [9] ADDING GRAPHICS TO A HIGH-LEVEL PROGRAMMING LANGUAGE
    JEFFERY, CL
    GRISWOLD, RE
    TOWNSEND, GM
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (06): : 637 - 655
  • [10] MICROCOMPUTER PROGRAMMING - CASE FOR HIGH-LEVEL LANGUAGE
    ROSENFELD, P
    [J]. INSTRUMENTS & CONTROL SYSTEMS, 1977, 50 (09): : 83 - 86
12345