STATIC VERIFICATION OF PROCEDURE CALLS

被引：0
|
作者：
SAMOILOV, VY
机构：
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1984年 / 10卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
COMPUTER SOFTWARE
引用
收藏
页码：134 / 139
页数：6
相关论文
共 50 条
  • [41] A CASE AGAINST USING PROCEDURE CALLS FOR INPUT OUTPUT
    FISCHER, R
    SIGPLAN NOTICES, 1989, 24 (05): : 124 - 127
  • [42] Advanced Static Verification for SoC Designs
    Yeung, Ping
    Choi, Sea
    2009 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC 2009), 2009, : 295 - +
  • [43] A formal verification framework for static analysis
    Albert, Elvira
    Bubel, Richard
    Genaim, Samir
    Haehnle, Reiner
    Puebla, German
    Roman-Diez, Guillermo
    SOFTWARE AND SYSTEMS MODELING, 2016, 15 (04): : 987 - 1012
  • [44] Testing Meets Static and Runtime Verification
    Chimento, Jesus Mauricio
    Ahrendt, Wolfgang
    Schneider, Gerardo
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 30 - 39
  • [45] Optimizing procedure calls in block-structured languages
    Goodwin, JP
    Gehringer, EF
    SOFTWARE-PRACTICE & EXPERIENCE, 1996, 26 (12): : 1385 - 1414
  • [46] EQUIVALENCE OF THE GRIES AND MARTIN PROOF RULES FOR PROCEDURE CALLS
    BIJLSMA, A
    WILTINK, JG
    MATTHEWS, PA
    ACTA INFORMATICA, 1986, 23 (04) : 357 - 360
  • [47] Modular verification of static class invariants
    Leino, KRM
    Müller, P
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 26 - 42
  • [48] Towards Static Modular Software Verification
    Department of Software Engineering, Technische Universität Berlin, Ernst-Reuter-Platz 7, Berlin
    10587, Germany
    Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI), (147-153):
  • [49] KENNEDY CALLS FOR VERIFICATION (VOL 157, PG 7, 1995)
    KENNEDY, RD
    CHEMICAL WEEK, 1995, 157 (15) : 17 - 17
  • [50] Case Study: SoC Performance Verification and Static Verification of RTL Parameters
    Ghosh, Prokash
    Srivastava, Rohit
    2019 20TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR/SOC TEST, SECURITY AND VERIFICATION (MTV 2019), 2019, : 65 - 72
12345