PROVING CONTROL PROGRAMS

被引：0
|
作者：
不详
机构：
来源：
ELECTRICAL REVIEW | 1972年 / 190卷 / 16期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：534 / &
相关论文
共 50 条
  • [31] Proving failure in functional logic programs
    López-Fraguas, FJ
    Sánchez-Hernández, J
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 179 - 193
  • [32] Proving pointer programs in Hoare logic
    Bornat, R
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 102 - 126
  • [33] A METHODOLOGY FOR PROVING TERMINATION OF LOGIC PROGRAMS
    WANG, B
    SHYAMASUNDAR, RK
    JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (01): : 1 - 30
  • [34] Proving Expected Sensitivity of Probabilistic Programs
    Barthe, Gilles
    Espitau, Thomas
    Gregoire, Benjamin
    Hsu, Justin
    Strub, Pierre-Yves
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (POPL):
  • [35] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
    BURSTALL, RM
    COMPUTER JOURNAL, 1969, 12 (01): : 41 - &
  • [36] PROVING PROGRAMS CORRECT - ANDERSON,RB
    EVELYN, D
    JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1980, 31 (02) : 198 - 198
  • [37] Proving completeness of logic programs with the cut
    Drabent, Wodzimierz
    FORMAL ASPECTS OF COMPUTING, 2017, 29 (01) : 155 - 172
  • [38] A formal method for proving programs correct
    Chiang, CC
    Neubart, D
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 718 - 723
  • [39] Verifying programs using abstraction and theorem proving
    Qian, Junyan
    Xu, Baowen
    IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1044 - +
  • [40] Proving the Correctness of Algorithmic Debugging for Functional Programs
    Luo, Yong
    Chitil, Olaf
    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7, 2007, 7 : 19 - 34
12345