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 条
  • [41] ARENA - Dynamic Run-Time Map Generation for Multiplayer Shooters
    Bhojan, Anand
    Wong, Hong Wei
    ENTERTAINMENT COMPUTING - ICEC 2014, 2014, 8770 : 149 - 158
  • [42] Automatic Generation of Distributed Run-time Infrastructure for Internet of Things
    Mohamed, Saleh
    Forshaw, Matthew
    Thomas, Nigel
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ICSAW), 2017, : 100 - 107
  • [43] ARENA - Dynamic run-time map generation for multiplayer shooters
    Bhojan, Anand
    Wong, Hong Wei
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8770 : 149 - 158
  • [44] Run-time generation of partial FPGA configurations for subword operations
    Silva, Miguel L.
    Ferreira, Joao Canas
    MICROPROCESSORS AND MICROSYSTEMS, 2012, 36 (05) : 365 - 374
  • [45] Automatic Run-Time Manager Generation for Reconfigurable MPSoC Architectures
    Durelli, Gianluca
    Pilato, Christian
    Cazzaniga, Andrea
    Sciuto, Donatella
    Santambrogio, Marco D.
    2012 7TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2012,
  • [46] A format-independent architecture for run-time integrity checking of executable code
    Catuogno, L
    Visconti, I
    SECURITY IN COMMUNICATION NETWORKS, 2003, 2576 : 219 - 233
  • [47] Run-time bytecode specialization - A portable approach to generating optimized specialized code
    Masuhara, H
    Yonezawa, A
    PROGRAMS AS DATA OBJECTS, PROCEEDINGS, 2001, 2053 : 138 - 154
  • [48] Generating Java']JavaScript from Perl - Simple run-time code generation improves web-based UIs
    Jenkins, SB
    DR DOBBS JOURNAL, 2002, 27 (05): : 59 - 63
  • [49] Run-time reconfiguration at Xilinx
    Guccione, SA
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 873 - 873
  • [50] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
12345