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 条
  • [21] Certification of open-source software: A role for formal methods?
    Barbosa, Luis S.
    Cerone, Antonio
    Petrenko, Alexander K.
    Shaikh, Siraj A.
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2010, 25 (04): : 273 - 281
  • [22] HOW FORMAL IS FORMAL - REPLY
    LEAHEY, TH
    JOURNAL OF GENERAL PSYCHOLOGY, 1978, 99 (02): : 161 - 162
  • [23] CONFLICT, FUNCTIONAL AND FORMAL
    SCHON, D
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1959, 20 (01) : 63 - 74
  • [24] Exploring Paraphrasing Techniques on Formal Language for Generating Semantics Preserving Source Code Transformations
    Stein, Aviel J.
    Kapllani, Levi
    Mancoridis, Spiros
    Greenstadt, Rachel
    2020 IEEE 14TH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2020), 2020, : 242 - 248
  • [25] Labeling source code with information retrieval methods: an empirical study
    Andrea De Lucia
    Massimiliano Di Penta
    Rocco Oliveto
    Annibale Panichella
    Sebastiano Panichella
    Empirical Software Engineering, 2014, 19 : 1383 - 1420
  • [26] Labeling source code with information retrieval methods: an empirical study
    De Lucia, Andrea
    Di Penta, Massimiliano
    Oliveto, Rocco
    Panichella, Annibale
    Panichella, Sebastiano
    EMPIRICAL SOFTWARE ENGINEERING, 2014, 19 (05) : 1383 - 1420
  • [27] Automatic Source Code Summarization of Context for Java']Java Methods
    McBurney, Paul W.
    McMillan, Collin
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (02) : 103 - 119
  • [28] THE CONFLICT PROCESS - A FORMAL MODEL
    LICHBACH, MI
    GURR, TR
    JOURNAL OF CONFLICT RESOLUTION, 1981, 25 (01) : 3 - 29
  • [29] Application of source code static analysis methods to ensure security of APCS
    Knysh, Alexander, V
    Kobzev, Dmitry A.
    Davidenko, Oksana N.
    Detistov, Sergey A.
    Shechev, Ivan A.
    Khenerina, Alyona A.
    Ulyashev, Ivan I.
    NAUKA I TEHNOLOGII TRUBOPROVODNOGO TRANSPORTA NEFTI I NEFTEPRODUKTOV-SCIENCE & TECHNOLOGIES-OIL AND OIL PRODUCTS PIPELINE TRANSPORTATION, 2021, 11 (03): : 346 - 356
  • [30] A comparative study of adversarial training methods for neural models of source code
    Li, Zhen
    Huang, Xiang
    Li, Yangrui
    Chen, Guenevere
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2023, 142 : 165 - 181
12345