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 条
  • [1] Testing and tracing lazy functional programs using QuickCheck and Hat
    Claessen, Koen
    Runciman, Colin
    Chitil, Olaf
    Hughes, John
    Wallace, Malcolm
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2638 : 59 - 99
  • [2] Freja, Hat and Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs
    Chitil, O
    Runciman, C
    Wallace, M
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2001, 2011 : 176 - 193
  • [3] Freja, hat and hood — a comparative evaluation of three systems for tracing and debugging lazy functional programs
    University of York, United Kingdom
    Lect. Notes Comput. Sci., 1600, (176-193):
  • [4] LAZY DEBUGGING OF LAZY FUNCTIONAL PROGRAMS
    SNYDER, RM
    NEW GENERATION COMPUTING, 1990, 8 (02) : 139 - 161
  • [5] QuickCheck: a lightweight tool for random testing of Haskell programs
    Claessen, Koen
    Hughes, John
    ACM SIGPLAN NOTICES, 2011, 46 (04) : 53 - 64
  • [6] QuickCheck: A lightweight tool for random testing of Haskell programs
    Claessen, K
    Hughes, J
    ACM SIGPLAN NOTICES, 2000, 35 (09) : 268 - 279
  • [7] Testing Safety PLCs Using QuickCheck
    Thoennesse, David
    Smallbone, Nick
    Fabian, Martin
    Claessen, Koen
    Kowalewski, Stefan
    2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 1388 - 1393
  • [8] Specialization of lazy functional logic programs
    Alpuente, M
    Falaschi, M
    Julian, P
    Vidal, G
    ACM SIGPLAN NOTICES, 1997, 32 (12) : 151 - 162
  • [9] Axioms for strict and lazy functional programs
    Stärk, RE
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 133 (1-3) : 293 - 318
  • [10] AUTOMATIC PARALLELIZATION OF LAZY FUNCTIONAL PROGRAMS
    HOGEN, G
    KINDLER, A
    LOOGEN, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 254 - 268
12345