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 条
  • [21] A Trust Logic for Pre-Trust Computations
    Tagliaferri, Mirko
    Aldini, Alessandro
    [J]. 2018 21ST INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2018, : 2006 - 2012
  • [22] Modeling Interpretive Steps in Fuzzy Logic Computations
    Morcillo, Pedro J.
    Moreno, Gines
    [J]. FUZZY LOGIC AND APPLICATIONS, 2009, 5571 : 44 - 51
  • [23] Performance Modeling of Virtualized Custom Logic Computations
    Hall, Michael J.
    Chamberlain, Roger D.
    [J]. PROCEEDINGS OF THE 2014 IEEE 25TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 2014), 2014, : 72 - 73
  • [24] Measuring the interpretive cost in fuzzy logic computations
    Julian, Pascual
    Moreno, Gines
    Penabad, Jaime
    [J]. APPLICATIONS OF FUZZY SETS THEORY, 2007, 4578 : 28 - +
  • [25] On termination of logic programs with floating point computations
    Serebrenik, A
    De Schreye, D
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 151 - 164
  • [26] Performance Modeling of Virtualized Custom Logic Computations
    Hall, Michael J.
    Chamberlain, Roger D.
    [J]. GLSVLSI'14: PROCEEDINGS OF THE 2014 GREAT LAKES SYMPOSIUM ON VLSI, 2014, : 89 - 90
  • [27] NORMAL FORMS AND THE COMPLEXITY OF COMPUTATIONS OF LOGIC PROGRAMS
    OCHOZKA, V
    STEPANKOVA, O
    STEPANEK, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 357 - 371
  • [28] Detecting temporal logic predicates on distributed computations
    Ogale, Vinit A.
    Garg, Vijay K.
    [J]. DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, 4731 : 420 - +
  • [29] ON THE RELATION OF PROGRAMS AND COMPUTATIONS TO MODELS OF TEMPORAL LOGIC
    WOLPER, P
    [J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 75 - 123
  • [30] On the use of fuzzy logic for inherently parallel computations
    Hannachi, M. Skander
    Dong, Fangyan
    Hatakeyama, Yutaka
    Hirota, Kaoru
    [J]. ISCIII '07: 3RD INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, PROCEEDINGS, 2007, : 89 - +
12345