FORMAL METHODS AND SOURCE CODE - A CONFLICT - REPLY

被引：0
|
作者：
WEISER, M [1 ]
机构：
[1] XEROX CORP,PALO ALTO RES CTR,PALO ALTO,CA 94304
来源：
COMPUTER | 1988年 / 21卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：11 / 11
页数：1
相关论文
共 50 条
  • [41] Source Code
    Miller, Henry K.
    SIGHT AND SOUND, 2011, 21 (06): : 77 - 77
  • [42] Formal Definition of Pseudo Code and Mapping Rules to Java Code
    Shan-Shan, Zheng
    Zhi-Li, Wang
    2021 IEEE 4th International Conference on Computer and Communication Engineering Technology, CCET 2021, 2021, : 175 - 179
  • [43] The environmental code and conflict resolution
    Gergel, V
    CONFLICT AND THE ENVIRONMENT, 1997, 33 : 563 - 569
  • [44] INDIANA TRUST CODE - WHEN TRUST AND CODE CONFLICT
    WHITE, NL
    INDIANA LAW JOURNAL, 1972, 47 (03) : 481 - 516
  • [45] Code Integration: Alignment or Conflict?
    Rory Sullivan
    Journal of Business Ethics, 2005, 59 : 9 - 25
  • [46] THE SLOW CODE - A HIDDEN CONFLICT
    NEHER, JO
    JOURNAL OF FAMILY PRACTICE, 1988, 27 (04): : 429 - 430
  • [47] Code integration: Alignment or conflict?
    Sullivan, R
    JOURNAL OF BUSINESS ETHICS, 2005, 59 (1-2) : 9 - 25
  • [48] Formal Verification of C Systems Code
    Tuch, Harvey
    JOURNAL OF AUTOMATED REASONING, 2009, 42 (2-4) : 125 - 187
  • [49] A Formal Semantics for P-Code
    Naus, Nico
    Verbeek, Freek
    Walker, Dale
    Ravindran, Binoy
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 111 - 128
  • [50] INFLUENCE OF THE STROKE CODE ACTIVATION SOURCE ON THE OUTCOME OF ACUTE ISCHEMIC STROKE PATIENTS Reply
    Perez de la Ossa, Natalia
    NEUROLOGY, 2009, 72 (19) : 1710 - 1710
12345