AUTOMATIC VERIFICATION OF FUNCTIONAL PROGRAMS

被引：0
|
作者：
DROBUSHEVICH, GA
ZUBOVICH, KA
机构：
来源：
CYBERNETICS | 1990年 / 26卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose an approach to verification of functional programs based on an example of methods and tools developed in functional programming. The program verification procedures and tools developed in the framework of this approach are described.
引用
收藏
页码：491 / 502
页数：12
相关论文
共 50 条
  • [1] Automatic Termination Verification for Higher-Order Functional Programs
    Kuwahara, Takuya
    Terauchi, Tachio
    Unno, Hiroshi
    Kobayashi, Naoki
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 392 - 411
  • [2] AN EXPERIMENT IN AUTOMATIC VERIFICATION OF PROGRAMS
    WEINBERG, GM
    GRESSETT, GL
    [J]. COMMUNICATIONS OF THE ACM, 1963, 6 (10) : 610 - 613
  • [3] Automatic verification of concurrent Ada programs
    Bruneton, E
    Pradat-Peyre, JF
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 146 - 157
  • [4] Automatic Verification of Time Behavior of Programs
    Liva, Giovanni
    [J]. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 2018, : 468 - 471
  • [5] Automatic Verification of Integer Array Programs
    Bozga, Marius
    Habermehl, Peter
    Iosif, Radu
    Konecny, Filip
    Vojnar, Tomas
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 157 - +
  • [6] Toward automatic verification of quantum programs
    Ying, Mingsheng
    [J]. FORMAL ASPECTS OF COMPUTING, 2019, 31 (01) : 3 - 25
  • [7] Automatic Verification of Dafny Programs with Traits
    Ahmadi, Reza
    Leino, K. Rustan M.
    Nummenmaa, Jyrki
    [J]. 17TH WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2015), 2015,
  • [8] AUTOMATIC VERIFICATION OF A CLASS OF SYMMETRICAL PARALLEL PROGRAMS
    SZYMANSKI, BK
    VIDAL, JM
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 571 - 576
  • [9] Automatic Verification of Determinism for Structured Parallel Programs
    Vechev, Martin
    Yahav, Eran
    Raman, Raghavan
    Sarkar, Vivek
    [J]. STATIC ANALYSIS, 2010, 6337 : 455 - 471
  • [10] Automatic verification of timed concurrent constraint programs
    Falaschi, Moreno
    Villanueva, Alicia
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 265 - 300
12345