TYPE INFERENCE BY PROGRAM TRANSFORMATION AND PARTIAL EVALUATION

被引：0
|
作者：
FRUHWIRTH, TW
机构：
来源：
META-PROGRAMMING IN LOGIC PROGRAMMING | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：263 / 282
页数：20
相关论文
共 50 条
  • [11] PARTIAL EVALUATION FOR PROGRAM SPEEDUPS
    DANVY, O
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 579 - 580
  • [12] SAFETY ANALYSIS VERSUS TYPE INFERENCE FOR PARTIAL TYPES
    PALSBERG, J
    SCHWARTZBACH, MI
    [J]. INFORMATION PROCESSING LETTERS, 1992, 43 (04) : 175 - 180
  • [13] PROGRAM TRANSFORMATION IN CONSTRUCTIVE TYPE THEORY
    ZHU, MY
    [J]. SIGPLAN NOTICES, 1995, 30 (01): : 11 - 19
  • [14] Graphical and Incremental Type Inference: A Graph Transformation Approach
    Clerici, Silvia
    Zoltan, Cristina
    Prestigiacomo, Guillermo
    [J]. TRENDS IN FUNCTIONAL PROGRAMMING, 2011, 6546 : 66 - 83
  • [15] Program transformation system based on Generalized Partial Computation
    Futamura, Y
    Konishi, Z
    Glück, R
    [J]. NEW GENERATION COMPUTING, 2002, 20 (01) : 75 - 99
  • [16] Program transformation system based on generalized partial computation
    Yoshihiko Futamura
    Zenjiro Konishi
    Robert Glück
    [J]. New Generation Computing, 2002, 20 : 75 - 99
  • [17] Dynamic Heap Type Inference for Program Understanding and Debugging
    Polishchuk, Marina
    Liblit, Ben
    Schulze, Chloe W.
    [J]. CONFERENCE RECORD OF POPL 2007: THE 34TH ACM SIGPLAN SIGACT SYMPOSIUM ON PRINCIPLES OF PROGAMMING LANGUAGES, 2007, : 39 - 46
  • [18] Dynamic heap type inference for program understanding and debugging
    Polishchuk, Marina
    Liblit, Ben
    Schulze, Chloe W.
    [J]. ACM SIGPLAN NOTICES, 2007, 42 (01) : 39 - 46
  • [19] Lackwit: A program understanding tool based on type inference
    OCallahan, R
    Jackson, D
    [J]. PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 338 - 348
  • [20] Confirmatory program evaluation: A method for strengthening causal inference
    Reynolds, AJ
    [J]. AMERICAN JOURNAL OF EVALUATION, 1998, 19 (02) : 203 - 221
12345