FOUNDATIONS OF DECLARATIVE DEBUGGING IN ARBITRARY LOGIC PROGRAMMING

被引：0
|
作者：
YAN, SY
机构：
来源：
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES | 1990年 / 32卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：215 / 232
页数：18
相关论文
共 50 条
  • [1] FOUNDATIONS OF DECLARATIVE TESTING IN ARBITRARY LOGIC PROGRAMMING
    YAN, SY
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1990, 34 (3-4) : 145 - 160
  • [2] Theoretical foundations for the declarative debugging of lazy functional logic programs
    Cabalbero, R
    López-Fraguas, FJ
    Rodríguez-Artalejo, M
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 170 - 184
  • [3] 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
  • [4] Declarative debugging of rewriting logic specifications
    Riesco, Adrian
    Verdejo, Alberto
    Marti-Oliet, Narciso
    Caballero, Rafael
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (7-8): : 851 - 897
  • [5] Declarative Debugging of Rewriting Logic Specifications
    Riesco, Adrian
    Verdejo, Alberto
    Caballero, Rafael
    Marti-Oliet, Narciso
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2009, 5486 : 308 - 325
  • [6] Logical Foundations for More Expressive Declarative Temporal Logic Programming Languages
    Gaintzarain, Jose
    Lucio, Paqui
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (04)
  • [7] Declarative debugging of membership equational logic specifications
    Caballero, Rafael
    Marti-Oliet, Narciso
    Riesco, Adrian
    Verdejo, Alberto
    [J]. CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 174 - 193
  • [8] A Logical Framework for Debugging in Declarative Constraint Programming
    del Vado Virseda, Rafael
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 256 : 119 - 135
  • [9] A DECLARATIVE LOGIC PROGRAMMING ENVIRONMENT
    KOMOROWSKI, HJ
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (02) : 77 - 89
  • [10] FULLY DECLARATIVE LOGIC PROGRAMMING
    PLAZA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 414 - 427
12345