PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [41] Verifying Haskell programs by combining testing and proving
    Dybjer, P
    Qiao, HY
    Takeyama, M
    THIRD INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2003, : 272 - 279
  • [42] Proving That Programs Eventually Do Something Good
    Cook, Byron
    Gotsman, Alexey
    Podelski, Andreas
    Rybalchenko, Andrey
    Vardi, Moshe Y.
    CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 265 - 276
  • [43] Proving Properties of Lazy Functional Programs with SPARKLE
    de Mol, Maarten
    van Eekelen, Marko
    Plasmeijer, Rinus
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, 2008, 5161 : 41 - 86
  • [44] SEQUENTIAL CALCULUS FOR PROVING THE PROPERTIES OF REGULAR PROGRAMS
    PLIUSKEVICIENE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 370 - 381
  • [45] Proving properties of functional programs by equality saturation
    S. A. Grechanik
    Programming and Computer Software, 2015, 41 : 149 - 161
  • [46] Proving Properties of Programs on Hierarchical Nominative Data
    Ivanov, Ievgen
    Nikitchenko, Mykola
    Skobelev, Volodymyr G.
    COMPUTER SCIENCE JOURNAL OF MOLDOVA, 2016, 24 (03) : 371 - 398
  • [47] Transformational methodology for proving termination of logic programs
    Rao, MRKK
    Kapur, D
    Shyamasundar, RK
    JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (01): : 1 - 41
  • [48] Proving correctness of programs with IO - A paradigm comparison
    Butterfield, A
    Strong, G
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2002, 2312 : 72 - 87
  • [49] REDUCTION - METHOD OF PROVING PROPERTIES OF PARALLEL PROGRAMS
    LIPTON, RJ
    COMMUNICATIONS OF THE ACM, 1975, 18 (12) : 717 - 721
  • [50] SOFTWARE RELIABILITY THROUGH PROVING PROGRAMS CORRECT
    LONDON, RL
    COMPUTER, 1971, 4 (01) : 44 - &
12345