VERIFYING CORRECTNESS OF LOGIC PROGRAMS

被引：0

|

作者：

BOSSI, A

COCCO, N

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 352卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：96 / 110

页数：15

相关论文

共 50 条

[1] Verifying Functional Correctness of C Programs with VCC
Moskal, Michal
[J]. NASA FORMAL METHODS, 2011, 6617 : 56 - 57
[2] Correctness and Completeness of Logic Programs
Drabent, Wlodzimierz
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (03)
[3] On Correctness of Normal Logic Programs
Drabent, Wlodzimierz
[J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), 2022, 13474 : 142 - 154
[4] REDUCTION TECHNIQUE FOR VERIFYING THE CORRECTNESS OF LOGIC CONTROL ALGORITHMS
NOVIKOV, JA
[J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (04): : 19 - 23
[5] Verifying Correctness
Hoffmann, Leah
[J]. COMMUNICATIONS OF THE ACM, 2024, 67 (03) : 108 - 107
[6] Correctness of logic programs using proof schemes
Marakakis, Emmanouil
Papadakis, Nikos
[J]. INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2012, 16 (03) : 185 - 198
[7] MODULARITY AND CORRECTNESS FOR LOGIC PROGRAMS AND KNOWLEDGE BASES
ANTONIOU, G
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 257 - 275
[8] Verifying the equivalence of logic programs in the disjunctive case
Oikarinen, E
Janhunen, T
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 180 - 193
[9] Verifying Tight Logic Programs with ANTHEM and VAMPIRE
Fandinno, Jorge
Lifschitz, Vladimir
Luehne, Patrick
Schaub, Torsten
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 735 - 750
[10] VERIFYING LOCAL STRATIFIABILITY OF LOGIC PROGRAMS AND DATABASES
SHEN, YD
[J]. NEW GENERATION COMPUTING, 1992, 11 (01) : 23 - 46

← 1 2 3 4 5 →