Automatic proof of the absence of run-time errors

被引：0
|
作者：
Garnsworthy, Jon
O'Neill, Ian
Carre, Bernard
机构：
来源：
Studies in Computer and Communications Systems | 1993年 / 6卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] FINDING RUN-TIME MEMORY ERRORS
    NELSON, T
    [J]. DR DOBBS JOURNAL, 1993, 18 (12): : 34 - &
  • [2] Static checker of semantic run-time errors
    Kuksenko, SV
    Shelekhov, VI
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (06) : 288 - 300
  • [3] Astree: Verification of absence of run-time error
    Mauborgne, L
    [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 385 - 392
  • [4] AUTOMATIC GENERATION OF RUN-TIME PARAMETERIZABLE CONFIGURATIONS
    Bruneel, Karel
    Stroobandt, Dirk
    [J]. 2008 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE AND LOGIC APPLICATIONS, VOLS 1 AND 2, 2008, : 360 - 365
  • [5] Automatic run-time versioning for BPEL processes
    Melo P.
    da Cunha P.R.
    da Silva C.F.
    Macedo A.
    [J]. Service Oriented Computing and Applications, 2017, 11 (3) : 315 - 327
  • [6] Run-time detection and correction of heliostat tracking errors
    Chiesi, Matteo
    Scarselli, Eleonora Franchi
    Guerrieri, Roberto
    [J]. RENEWABLE ENERGY, 2017, 105 : 702 - 711
  • [7] A survey of systems for detecting serial run-time errors
    Luecke, Glenn R.
    Coyle, James
    Hoekstra, Jim
    Kraeva, Marina
    Li, Ying
    Taborskaia, Olga
    Wang, Yanmei
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (15): : 1885 - 1907
  • [8] A static analysis method for run-time errors detection
    Cao, WJ
    Xu, SH
    Shi, ZG
    [J]. ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 6615 - 6618
  • [9] Run-Time Automatic Performance Tuning for Multicore Applications
    Karcher, Thomas
    Pankratius, Victor
    [J]. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 2011, 6852 : 3 - 14
  • [10] Run-Time Support for the Automatic Parallelization of Java Programs
    Bryan Chan
    Tarek S. Abdelrahman
    [J]. The Journal of Supercomputing, 2004, 28 : 91 - 117
12345