COMPILE-TIME TYPE-MATCHING

被引：2
|
作者：
HEXT, JB
机构：
来源：
COMPUTER JOURNAL | 1967年 / 9卷 / 04期
关键词：
D O I：
10.1093/comjnl/9.4.365
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：365 / &
相关论文
共 50 条
  • [31] A Position Paper on Compile-time Program Analysis
    [J]. SIGPLAN Not, 1 (110-114):
  • [32] COMPILE-TIME PARTITIONING AND SCHEDULING OF PARALLEL PROGRAMS
    SARKAR, V
    HENNESSY, J
    [J]. SIGPLAN NOTICES, 1986, 21 (07): : 17 - 26
  • [33] Compile-time inter-query dependence analysis
    Parthasarathy, S
    Li, W
    Cierniak, M
    Zaki, MJ
    [J]. EIGHTH IEEE SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 1996, : 522 - 529
  • [34] Compile-Time Analysis of Compiler Frameworks for Query Compilation
    Engelke, Alexis
    Schwarz, Tobias
    [J]. 2024 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, CGO, 2024, : 233 - 244
  • [35] PROVING SAFETY OF SPECULATIVE LOAD INSTRUCTIONS AT COMPILE-TIME
    BERNSTEIN, D
    RODEH, M
    SAGIV, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 56 - 72
  • [36] COMPILE-TIME TECHNIQUES FOR EFFICIENT UTILIZATION OF PARALLEL MEMORIES
    GUPTA, R
    SOFFA, ML
    [J]. SIGPLAN NOTICES, 1988, 23 (09): : 235 - 246
  • [37] Atomic invariants verification and deadlock detection at compile-time
    Tamas, Ionut
    Salomie, Ioan
    Antal, Marcel
    [J]. 2018 IEEE 14TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING (ICCP), 2018, : 435 - 441
  • [38] Runtime Reconfiguration of Multiprocessors Based on Compile-Time Analysis
    Purnaprajna, Madhura
    Porrmann, Mario
    Rueckert, Ulrich
    Hussmann, Michael
    Thies, Michael
    Kastens, Uwe
    [J]. ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2010, 3 (03)
  • [39] Automatic Security Bug Classification: A Compile-time Approach
    Du, Tie
    Zheng, Long
    Chen, Shaopeng
    Jin, Hai
    [J]. 2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2016, : 398 - 405
  • [40] Compile-time scheduling algorithms for a heterogeneous network of workstations
    Cierniak, M
    Zaki, MJ
    Li, W
    [J]. COMPUTER JOURNAL, 1997, 40 (06): : 356 - 372
12345