Observing functional logic computations

被引：0
|
作者：
Brassel, B
Chitil, O
Hanus, M
Huch, F
机构：
[1] CAU Kiel, Inst Informat, D-24098 Kiel, Germany
[2] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES | 2004年 / 3057卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy) comprises a portable library plus a viewing tool. A programmer can observe data structures and functions by annotating expressions in his program. The possibly partial values of observed expressions that are computed during program execution are recorded in a trace file, including information on non-deterministic choices and logical variables. A separate viewing tool displays the trace content. COOSy covers all aspects of modern functional logic multiparadigm languages such as lazy evaluation, higher order functions, non-deterministic search, logical variables, concurrency and constraints. Both use and implementation of COOSy are described.
引用
收藏
页码：193 / 208
页数：16
相关论文
共 50 条
  • [31] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 75 - 123
  • [32] Building a global clock for observing computations in distributed memory parallel computers
    Jezequel, JM
    Jard, C
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1996, 8 (01): : 71 - 89
  • [33] The Functional Interpretation of Direct Computations
    de Queiroz, Ruy J. G. B.
    de Oliveira, Anjolina G.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 269 : 19 - 40
  • [34] Logic programs with abstract constraint atoms: The role of computations
    Liu, Lengning
    Pontelli, Enrico
    Son, Tran Cao
    Truszczynski, Miroslaw
    [J]. ARTIFICIAL INTELLIGENCE, 2010, 174 (3-4) : 295 - 315
  • [35] FREE DEDUCTION - AN ANALYSIS OF COMPUTATIONS IN CLASSICAL-LOGIC
    PARIGOT, M
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 361 - 380
  • [36] EFFICIENT GLOBAL COMPUTATIONS ON A PROCESSOR NETWORK WITH PROGRAMMABLE LOGIC
    FILLOQUE, JM
    GAUTRIN, E
    POTTIER, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 505 : 69 - 82
  • [37] Embedding large multidimensional DSP computations in reconfigurable logic
    Elnaggar, A
    Alnuweiri, HM
    Ito, MR
    [J]. HIGH-SPEED COMPUTING, DIGITAL SIGNAL PROCESSING, AND FILTERING USING RECONFIGURABLE LOGIC, 1996, 2914 : 300 - 307
  • [38] Functional Logic
    Melzer, John Henry
    [J]. JOURNAL OF HIGHER EDUCATION, 1949, 20 (03): : 143 - +
  • [39] Logic programs with abstract constraint atoms: The role of computations
    Liu, Lengning
    Pontelli, Enrico
    Son, Tran Cao
    Truszczynski, Miroslaw
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 286 - +
  • [40] Speculative computations in or-parallel tabled logic programs
    Rocha, R
    Silva, F
    Costa, VS
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 254 - 268
12345