Partial evaluation of computation process - an approach to a compiler-compiler

被引：0
|
作者：
Central Research Laboratory, Hitachi, Ltd., Kokubunji, Tokyo, 185, Japan [1 ]
机构：
来源：
High Order Symbol Comput | / 4卷 / 381-391期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A Compiler and Verifier for Page Access Oblivious Computation
    Sinha, Rohit
    Rajamani, Sriram
    Seshia, Sanjit A.
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 649 - 660
  • [32] A MULTIPARADIGM APPROACH TO COMPILER CONSTRUCTION
    JUSTICE, TP
    PANDEY, RK
    BUDD, TA
    SIGPLAN NOTICES, 1994, 29 (09): : 29 - 37
  • [33] Automatic generation of parallel compiler - Partial evaluation of parallel lambda language
    Sun, YQ
    Lin, K
    Chen, YJ
    ADVANCES IN PARALLEL AND DISTRIBUTED COMPUTING - PROCEEDINGS, 1997, : 390 - 397
  • [34] DESIGN AND EVALUATION OF A PROLOG COMPILER
    KISHIMOTO, M
    SHINOGI, T
    KIMURA, Y
    HATTORI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 192 - 203
  • [35] An evaluation of an automatically generated compiler
    Sloane, AM
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (05): : 691 - 703
  • [36] THE VLSI SILICON COMPILER DESIGN PROCESS
    WEST, RMP
    VLSI AND COMPUTER PERIPHERALS: VLSI AND MICROELECTRONIC APPLICATIONS IN INTELLIGENT PERIPHERALS AND THEIR INTERCONNECTION NETWORKS, 1989, : A118 - A123
  • [37] SILICON COMPILER ACHIEVES PROCESS INDEPENDENCE
    MORGAN, M
    HUNTER, J
    ELECTRONIC ENGINEERING, 1986, 58 (717): : 155 - &
  • [38] MLIR: Scaling Compiler Infrastructure for Domain Specific Computation
    Lattner, Chris
    Amini, Mehdi
    Bondhugula, Uday
    Cohen, Albert
    Davis, Andy
    Pienaar, Jacques
    Riddle, River
    Shpeisman, Tatiana
    Vasilache, Nicolas
    Zinenko, Oleksandr
    CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2021, : 2 - 14
  • [39] Compiler Optimization for Scientific Computation in C/C plus
    Botor, Tomas
    Habiballa, Hashim
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
  • [40] Compiler support for general-purpose computation on GPUs
    Lin, Yu-Te
    Chen, Peng-Sheng
    JOURNAL OF SUPERCOMPUTING, 2009, 50 (01): : 78 - 97
12345