A framework for assertion-based debugging in constraint logic programming

被引：0
|
作者：
Puebla, G [1 ]
Bueno, F [1 ]
Hermenegildo, M [1 ]
机构：
[1] Tech Univ Madrid, UPM, Dept Comp Sci, Madrid, Spain
来源：
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98 | 1998年 / 1520卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：472 / 472
页数：1
相关论文
共 50 条
  • [1] Combined static and dynamic assertion-based debugging of constraint logic programs
    Puebla, G
    Bueno, F
    Hermenegildo, M
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 273 - 292
  • [2] A framework of an assertion-based algorithmic debugging for distributed programs
    Ohta, T
    Kinoshita, H
    Kimata, T
    Mizuno, T
    [J]. 15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 319 - 324
  • [3] Assertion-based and constraint-based verification
    Pixley, C
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 97 - 97
  • [4] SWAT: Assertion-based Debugging of Concurrency Issues at System Level
    Murillo, Luis Gabriel
    Buecs, Robert Lajos
    Hincapie, Daniel
    Leupers, Rainer
    Ascheid, Gerd
    [J]. 2015 20TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2015, : 600 - 605
  • [5] Assertion-based Debugging of Higher-Order (C) LP Programs
    Stulova, Nataliia
    Morales, Jose F.
    Hermenegildo, Manuel V.
    [J]. PPDP'14: PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2014, : 225 - 235
  • [6] A Logical Framework for Debugging in Declarative Constraint Programming
    del Vado Virseda, Rafael
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 256 : 119 - 135
  • [7] Assertion-based design with Horus
    Oddos, Yann
    Morin-Allory, Katell
    Borrione, Dominique
    [J]. MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 75 - 76
  • [8] Declarative debugging of missing answers in constraint functional-logic programming
    Caballero, Rafael
    Artalejo, Mario Rodriguez
    Virseda, Rafael del Vado
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 425 - 427
  • [9] Assertion-Based Optimization of Quantum Programs
    Haener, Thomas
    Hoefler, Torsten
    Troyer, Matthias
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [10] Assertion-based verification turns the corner
    Gupta, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
12345