Certifying compilation and run-time code generation

被引：0
|
作者：
Hornof, Luke [1 ]
Jim, Trevor [1 ]
机构：
[1] Comp. and Info. Science Department, University of Pennsylvania, Philadelphia, PA 19104, United States
来源：
Higher-Order and Symbolic Computation | 1999年 / 12卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：337 / 375
相关论文
共 50 条
  • [31] Hardware-Based Run-Time Code Integrity in Embedded Devices
    Wehbe, Taimour
    Mooney, Vincent
    Keezer, David
    CRYPTOGRAPHY, 2018, 2 (03) : 1 - 18
  • [32] Efficient compilation of process-based concurrent programs without run-time scheduling
    Lin, B
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 211 - 217
  • [33] Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
    Majzik, Istvan
    Horanyi, Gergo
    12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 161 - 172
  • [34] Run-time correction
    Grubb, WA
    OIL & GAS JOURNAL, 2004, 102 (13) : 10 - 10
  • [35] RUN-TIME DEBUGGERS
    NELSON, T
    DR DOBBS JOURNAL, 1993, 18 (12): : 36 - 36
  • [36] A run-time adaptive and code-size efficient XML parser
    Zhou Yanming
    Qu Mingbin
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 2, SHORT PAPERS/WORKSHOPS/FAST ABSTRACTS/DOCTORAL SYMPOSIUM, PROCEEDINGS, 2006, : 18 - +
  • [37] Efficient run-time dispatching in generic programming with minimal code bloat
    Bourdev, Lubomir
    Jaervi, Jaakko
    SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (04) : 243 - 257
  • [38] Dynamic re-engineering of binary code with run-time feedbacks
    Ung, D
    Cifuentes, C
    SEVENTH WORKING CONFERENCE ON REVERSE ENGINEERING - PROCEEDINGS, 2000, : 2 - 10
  • [39] Run-time verification
    Colin, S
    Mariani, L
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [40] Towards a more efficient run-time FPGA configuration generation
    Abouelella, Fatma
    Bruneel, Karel
    Stroobandt, Dirk
    PARALLEL COMPUTING: FROM MULTICORES AND GPU'S TO PETASCALE, 2010, 19 : 624 - 631
12345