A program transformation for tracing functional logic computations

被引：0
|
作者：
Brassel, Bernd [1 ]
Fischer, Sebastian [1 ]
Huch, Frank [1 ]
机构：
[1] Univ Kiel, Inst Comp Sci, Olshaussenstr 40, D-24098 Kiel, Germany
来源：
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 2007年 / 4407卷
关键词：
D O I：
10.1007/978-3-540-71410-1_12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Tracing program executions is a promising technique to find bugs in lazy functional logic programs. In previous work we developed an extension of a heap based semantics for functional logic languages which generates a trace reflecting the computation of the program. This extension was also prototypically implemented by instrumenting an interpreter for functional logic programs. Since this interpreter is too restricted for real world applications, we developed a program transformation which efficiently computes the trace by means of side effects during the computation. This paper presents our program transformation.
引用
收藏
页码：160 / +
页数：2
相关论文
共 50 条
  • [1] Observing functional logic computations
    Brassel, B
    Chitil, O
    Hanus, M
    Huch, F
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2004, 3057 : 193 - 208
  • [2] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [3] Qualified Computations in Functional Logic Programming
    Caballero, Rafael
    Rodriguez-Artalejo, Mario
    Romero-Diaz, Carlos A.
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 449 - 463
  • [4] A virtual machine for functional logic computations
    Antoy, S
    Hanus, M
    Liu, JM
    Tolmach, A
    [J]. IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2005, 3474 : 108 - 125
  • [5] PROGRAM OPTIMIZATION WITH LOGIC PROGRAM TRANSFORMATION
    HOSHINO, H
    ESASHI, M
    AGUSA, K
    OHNO, Y
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 113 : 725 - 734
  • [6] Improving computations in a typed functional logic language
    Almendros-Jiménez, JM
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 438 - 454
  • [7] A Framework for Interpreting Traces of Functional Logic Computations
    Brassel, Bernd
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 177 (01) : 91 - 106
  • [8] SPES - A SYSTEM FOR LOGIC PROGRAM TRANSFORMATION
    ALEXANDRE, F
    BSAIES, K
    FINANCE, JP
    QUERE, A
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 445 - 447
  • [9] Transformation and debugging of functional logic programs
    Alpuente, Maria
    Ballis, Demis
    Falaschi, Moreno
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 271 - 299
  • [10] LINEAR LOGIC AS A LOGIC OF COMPUTATIONS
    KANOVICH, MI
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 183 - 212
12345