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 条
  • [1] FORMAL METHODS AND SOURCE CODE - A CONFLICT
    BERBER, R
    COMPUTER, 1988, 21 (04) : 8 - &
  • [2] Source Code Annotations as Formal Languages
    Nosal, Milan
    Sulir, Matus
    Juhar, Jan
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2015, 5 : 953 - 964
  • [3] FORMAL METHODS AND AUTOMATED TOOL FOR TIMING-CHANNEL IDENTIFICATION IN TCB SOURCE CODE
    HE, JS
    GLIGOR, VD
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 648 : 57 - 75
  • [4] Delving source code with formal concept analysis
    Mens, K
    Tourwé, T
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2005, 31 (3-4) : 183 - 197
  • [5] SUPPORTING QUERIES ON SOURCE CODE - A FORMAL FRAMEWORK
    PAUL, S
    PRAKASH, A
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (03) : 325 - 348
  • [6] Ethnicity: Source of strength? Source of conflict? Reply
    Yinger, JM
    SOCIAL FORCES, 1996, 75 (02) : 744 - 745
  • [7] Source code: open or closed - Reply
    不详
    IEEE SPECTRUM, 1999, 36 (08) : 6 - +
  • [8] The formal transformation approach to source code analysis and manipulation
    Ward, MP
    FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 185 - 193
  • [9] Can Formal Methods Improve the Efficiency of Code Reviews?
    Hentschel, Martin
    Haehnle, Reiner
    Bubel, Richard
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 3 - 19
  • [10] On Teaching Formal Methods: Behavior Models and Code Analysis
    Kofron, Jan
    Parizek, Pavel
    Sery, Ondrej
    TEACHING FORMAL METHODS, PROCEEDINGS, 2009, 5846 : 144 - 157
12345