Debugging in A-prolog: A logical approach

被引：2

作者：

Osorio, M ^{[1
]}

Navarro, JA ^{[1
]}

Arrazola, J ^{[1
]}

机构：

[1] Univ Americas Puebla, CENTIA, Cholula 72820, Mexico

来源：

LOGICS PROGRAMMING, PROCEEDINGS | 2002年 / 2401卷

关键词：

D O I：

10.1007/3-540-45619-8_44

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：482 / 483

页数：2

共 50 条

[41] Approach to behavior scenarios debugging
Drobintsev P.
Kotlyarov V.
Nikiforov I.
Letichevsky A.
Peschanenko V.
Automatic Control and Computer Sciences, 2015, 49 (07) : 430 - 436
[42] BASIC DEBUGGING - A STRUCTURED APPROACH
GATES, R
CREATIVE COMPUTING, 1983, 9 (12): : 169 - &
[43] COMPLEXITY OF LOGICAL DECISION-PROBLEMS AND NORMAL FORMS FOR PROLOG-PROGRAMS
BORGER, E
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 835 - 836
[44] HEAVY-RAIN EXPERT-SYSTEM REALIZED BY LOGICAL LANGUAGE PROLOG
冯树常
吴礼庆
章文茜
陈永义
Advances in Atmospheric Sciences, 1988, (03) : 335 - 343
[45] Specifying and debugging security protocols via hereditary Harrop formulas and λProlog -: A case-study
Delzanno, G
FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 123 - 137
[46] A New Approach for Debugging Logic Circuits without Explicitly Debugging Their Functionality
Gharehbaghi, Amir Masoud
Fujita, Masahiro
2016 IEEE 25TH ASIAN TEST SYMPOSIUM (ATS), 2016, : 31 - 36
[47] TYPE INFERENCE IN PROLOG - A NEW APPROACH
CORSINI, MM
MUSUMBU, K
THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 23 - 38
[48] THE MUSE APPROACH TO OR-PARALLEL PROLOG
ALI, KAM
KARLSSON, R
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1990, 19 (02) : 129 - 162
[49] A Higher-Order Logical Framework for the Algorithmic Debugging and Verification of Declarative Programs
del Vado Virseda, Rafael
PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 49 - 60
[50] Tools for logical programming on the basis of graphic visualization of programming, analysis and debugging processes
Galagan, M.I.
Rumyantsev, Yu.I.
Adeev, V.V.
Bobkov, V.O.
Mazan, V.V.
Upravlyayushchie Sistemy i Mashiny, 1992, (5-6):

← 1 2 3 4 5 →