PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [1] Proving Programs Continuous
    Zeller, Andreas
    COMMUNICATIONS OF THE ACM, 2012, 55 (08) : 106 - 106
  • [2] PROVING CORRECTNESS OF PROGRAMS
    CONSTABLE, RL
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A334 - A335
  • [3] PROVING PROGRAMS TO BE CORRECT
    KING, JC
    IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (11) : 1331 - &
  • [4] PROVING PROGRAMS TO BE CORRECT
    KING, JC
    COMPUTER, 1971, 4 (01) : 44 - &
  • [5] PROVING TERMINATION OF COMMUNICATING PROGRAMS
    PACZKOWSKI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 416 - 426
  • [6] Proving termination of GHC programs
    Krishna Rao M.R.K.
    Kapur D.
    Shyamasundar R.K.
    New Generation Computing, 1997, 15 (3) : 293 - 338
  • [7] SPECIFICATION AND PROVING OF COMMAND PROGRAMS
    NEUHOLD, EJ
    WELLER, T
    ACTA INFORMATICA, 1976, 6 (01) : 15 - 40
  • [8] Proving the equivalence of CLP programs
    Craciunescu, S
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 287 - 301
  • [9] On Proving Continuity of Programs Response
    Chaudhuri, Swarat
    Gulwani, Sumit
    COMMUNICATIONS OF THE ACM, 2012, 55 (11) : 9 - 9
  • [10] Proving that Programs Are Differentially Private
    McIver, Annabelle
    Morgan, Carroll
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 3 - 18
12345