Testing and tracing lazy functional programs using QuickCheck and Hat

被引：0
|
作者：
Claessen, K [1 ]
Runciman, C
Chitil, O
Hughes, J
Wallace, M
机构：
[1] Chalmers Univ Technol, Gothenburg, Sweden
[2] Univ York, York YO10 5DD, N Yorkshire, England
来源：
ADVANCED FUNCTIONAL PROGRAMMING | 2003年 / 2638卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：59 / 99
页数：41
相关论文
共 50 条
  • [21] Tracing piece by piece: Affordable debugging for lazy functional languages
    Nilsson, Henrik
    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1999, 34 (09): : 36 - 47
  • [22] Tracing piece by piece: affordable debugging for lazy functional languages
    Nilsson, H
    ACM SIGPLAN NOTICES, 1999, 34 (09) : 36 - 47
  • [23] Compiling lazy functional programs to Java']Java bytecode
    Meehan, G
    Joy, M
    SOFTWARE-PRACTICE & EXPERIENCE, 1999, 29 (07): : 617 - 645
  • [24] Preserving sharing in the partial evaluation of lazy functional programs
    Fischer, Sebastian
    Silva, Josep
    Tamarit, Salvador
    Vidal, German
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, 4915 : 74 - +
  • [25] Theoretical foundations for the declarative debugging of lazy functional logic programs
    Cabalbero, R
    López-Fraguas, FJ
    Rodríguez-Artalejo, M
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 170 - 184
  • [26] Rules plus strategies for transforming lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    THEORETICAL COMPUTER SCIENCE, 2004, 311 (1-3) : 479 - 525
  • [27] Flow analysis of lazy higher-order functional programs
    Jones, Neil D.
    Andersen, Nils
    THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 120 - 136
  • [28] The cache behaviour of large lazy functional programs on stock hardware
    Nethercote, N
    Mycroft, A
    ACM SIGPLAN NOTICES, 2003, 38 (02) : 44 - 55
  • [29] The results of: Profiling large-scale lazy functional programs
    Jarvis, SA
    Morgan, RG
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 1997, 1268 : 200 - 221
  • [30] Dynamic slicing of lazy functional programs based on redex trails
    DIA, Technical University of Madrid, Campus de Montegancedo s/n, 28660 Boadilla del Monte, Spain
    不详
    High Order Symbol Comput, 2008, 1-2 (147-192):
12345