MORE C++ AND A STEP UP TO ANSI-C

被引：0
|
作者：
STEVENS, A
机构：
来源：
DR DOBBS JOURNAL | 1989年 / 14卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：123 / &
相关论文
共 50 条
  • [1] STANDARDIZING ANSI-C
    YOUNG, GA
    [J]. BYTE, 1986, 11 (07): : 14 - 14
  • [2] A RETARGETABLE COMPILER FOR ANSI-C
    FRASER, CW
    HANSON, DR
    [J]. SIGPLAN NOTICES, 1991, 26 (10): : 29 - 43
  • [3] CONVERTING OLD-C TO ANSI-C
    MACLAREN, NM
    [J]. PROCEEDINGS : SEAS ANNIVERSARY MEETING 1989, VOLS 1 AND 2: THE CORPORATE NETWORK, 1989, : 1497 - 1500
  • [4] A tool for checking ANSI-C programs
    Clarke, E
    Kroening, D
    Lerda, F
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 168 - 176
  • [5] ANSI C++
    Dill, G
    [J]. DR DOBBS JOURNAL, 1996, 21 (04): : 10 - 10
  • [6] A CODE GENERATION INTERFACE FOR ANSI-C
    FRASER, CW
    HANSON, DR
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (09): : 963 - 988
  • [7] Loopfrog: A Static Analyzer for ANSI-C Programs
    Kroening, Daniel
    Sharygina, Natasha
    Tonetta, Stefano
    Tsitovich, Aliaksei
    Wintersteiger, Christoph M.
    [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 668 - 670
  • [8] ANSI-C routines for the estimation of the lognormal mean
    Brown, FH
    [J]. COMPUTERS & GEOSCIENCES, 1995, 21 (10) : 1191 - 1199
  • [9] Scalable Secure Computation from ANSI-C
    Buescher, Niklas
    Kretzmer, David
    Jindal, Arnav
    Katzenbeisser, Stefan
    [J]. 2016 8TH IEEE INTERNATIONAL WORKSHOP ON INFORMATION FORENSICS AND SECURITY (WIFS 2016), 2016,
  • [10] Predicate abstraction of ANSI-C programs using SAT
    Clarke, E
    Kroening, D
    Sharygina, N
    Yorav, K
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (2-3) : 105 - 127
12345