VERIFICATION OF PROLOG PROGRAMS USING AN EXTENSION OF EXECUTION

被引：0
|
作者：
KANAMORI, T [1 ]
SEKI, H [1 ]
机构：
[1] ICOT RES CTR,INST NEW GENERAT COMP TECHNOL,MINATO KU,TOKYO 108,JAPAN
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 225卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：475 / 489
页数：15
相关论文
共 50 条
  • [1] Parallel execution of prolog programs: A survey
    Gupta, G
    Pontelli, E
    Ali, KAM
    Carlsson, M
    Hermenegildo, MV
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2001, 23 (04): : 472 - 602
  • [2] Automated verification of Prolog programs
    Le Charlier, B
    Leclère, C
    Rossi, S
    Cortesi, A
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 3 - 42
  • [3] Verification of C programs using slicing execution
    Yi, XD
    Wang, J
    Yang, XJ
    [J]. QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 109 - 116
  • [4] USING SYMBOLIC EXECUTION FOR VERIFICATION OF ADA TASKING PROGRAMS
    DILLON, LK
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (04): : 643 - 669
  • [5] FORMULATION OF INDUCTION FORMULAS IN VERIFICATION OF PROLOG PROGRAMS
    KANAMORI, T
    FUJITA, H
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 281 - 299
  • [6] Specification-based automatic verification of prolog programs
    Cortesi, A
    LeCharlier, B
    Rossi, S
    [J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 38 - 57
  • [7] A Practical Type Analysis for Verification of Modular Prolog Programs
    Pietrzak, Pawel
    Correas, Jesus
    Puebla, German
    Hermenegildo, Manuel V.
    [J]. PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 61 - 70
  • [8] Verification of Java']Java programs using symbolic execution and invariant generation
    Pasareanu, CS
    Visser, W
    [J]. MODEL CHECKING SOFTWARE, 2004, 2989 : 164 - 181
  • [9] No Panic! Verification of Rust Programs by Symbolic Execution
    Lindner, Marcus
    Aparicius, Jorge
    Lindgren, Per
    [J]. 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2018, : 108 - 114
  • [10] EXPERIENCE WITH SPECIFICATION AND VERIFICATION OF HARDWARE USING PROLOG
    SUZUKI, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 163 : 161 - 173
12345