PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [41] Proving the Correctness of Algorithmic Debugging for Functional Programs
    Luo, Yong
    Chitil, Olaf
    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7, 2007, 7 : 19 - 34
  • [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] SEQUENTIAL CALCULUS FOR PROVING THE PROPERTIES OF REGULAR PROGRAMS
    PLIUSKEVICIENE, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 370 - 381
  • [44] 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
  • [45] Transformational methodology for proving termination of logic programs
    Rao, MRKK
    Kapur, D
    Shyamasundar, RK
    JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (01): : 1 - 41
  • [46] Proving properties of functional programs by equality saturation
    S. A. Grechanik
    Programming and Computer Software, 2015, 41 : 149 - 161
  • [47] 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
  • [48] Proving correctness of programs with IO - A paradigm comparison
    Butterfield, A
    Strong, G
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2002, 2312 : 72 - 87
  • [49] Checking Models, Proving Programs, and Testing Systems
    Gaudel, Marie-Claude
    TESTS AND PROOFS, TAP 2011, 2011, 6706 : 1 - 13
  • [50] REDUCTION - METHOD OF PROVING PROPERTIES OF PARALLEL PROGRAMS
    LIPTON, RJ
    COMMUNICATIONS OF THE ACM, 1975, 18 (12) : 717 - 721
12345