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 条
  • [1] Run-Time Code Generation for Materials
    Reiter, Stephan
    RT08: IEEE/EG SYMPOSIUM ON INTERACTIVE RAY TRACING 2008, PROCEEDINGS, 2008, : 188 - 188
  • [2] Routine run-time code generation
    Kamin, S
    ACM SIGPLAN NOTICES, 2003, 38 (12) : 44 - 56
  • [3] Optimizing ML with run-time code generation
    Lee, P
    Leone, M
    ACM SIGPLAN NOTICES, 1996, 31 (05) : 137 - 148
  • [4] MULTIPROCESSORS AND RUN-TIME COMPILATION
    SALTZ, J
    BERRYMAN, H
    WU, J
    CONCURRENCY-PRACTICE AND EXPERIENCE, 1991, 3 (06): : 573 - 592
  • [5] Optimizing ML with run-time code generation
    Lee, P
    Leone, M
    ACM SIGPLAN NOTICES, 2004, 39 (04) : 542 - 553
  • [6] Harpy: Run-time Code Generation in Haskell
    Grabmueller, Martin
    Kleeblatt, Dirk
    HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, 2007, : 94 - 94
  • [7] Run-time code generation and Modal-ML
    Wickline, P
    Lee, P
    Pfenning, F
    ACM SIGPLAN NOTICES, 1998, 33 (05) : 224 - 235
  • [8] Run-time code generation as a central system service
    Franz, M
    SIXTH WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS, PROCEEDINGS, 1997, : 112 - 117
  • [9] Jumbo: Run-time code generation for Java and its applications
    Kamin, S.
    Clausen, L.
    Jarvis, A.
    Int. Symp. Code Gener. Optim., CGO, 1600, (48-56):
  • [10] Firepile: Run-time Compilation for GPUs in Scala
    Nystrom, Nathaniel
    White, Derek
    Das, Kishen
    ACM SIGPLAN NOTICES, 2012, 47 (03) : 107 - 115
12345