A new one-pass transformation into monadic normal form

被引：0
|
作者：
Danvy, O [1 ]
机构：
[1] Aarhus Univ, Dept Comp Sci, BRICS, DK-8000 Aarhus C, Denmark
来源：
COMPILER CONSTRUCTION, PROCEEDINGS | 2003年 / 2622卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a translation from the call-by-value lambda-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pass, duplicates no code, generates no chains of thunks, and is properly tail recursive. It makes a crucial use of symbolic computation at translation time.
引用
收藏
页码：77 / 89
页数：13
相关论文
共 50 条
  • [41] An integer one-pass algorithm for voxel traversal
    Liu, YK
    Zalik, B
    Yang, H
    COMPUTER GRAPHICS FORUM, 2004, 23 (02) : 167 - 172
  • [42] ONE-PASS CODE GENERATION USING CONTINUATIONS
    CLARKE, K
    SOFTWARE-PRACTICE & EXPERIENCE, 1989, 19 (12): : 1175 - 1192
  • [43] Some decidability results on one-pass reductions
    Vagvolgyi, Sandor
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 105 : 47 - 74
  • [44] A NOTE ON ONE-PASS EVALUATION OF ATTRIBUTE GRAMMARS
    KOSKIMIES, K
    BIT NUMERICAL MATHEMATICS, 1985, 25 (03) : 439 - 450
  • [45] One-Pass Learning with Incremental and Decremental Features
    Hou, Chenping
    Zhou, Zhi-Hua
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2018, 40 (11) : 2776 - 2792
  • [46] One-pass online learning: A local approach
    Zhou, Zhaoze
    Zheng, Wei-Shi
    Hu, Jian-Fang
    Xu, Yong
    You, Jane
    PATTERN RECOGNITION, 2016, 51 : 346 - 357
  • [47] ONE-PASS TRANSFORMATIONS OF ATTRIBUTED PROGRAM TREES
    ALBLAS, H
    ACTA INFORMATICA, 1987, 24 (03) : 299 - 352
  • [48] Distributed One-Pass Online AUC Maximization
    Liu, Xin
    Pan, Yu
    Ding, Yu
    Pan, Zhisong
    DISCRETE APPLIED MATHEMATICS, 2023, 341 : 322 - 336
  • [49] A ONE-PASS ALGORITHM FOR OVERLOAD RESOLUTION IN ADA
    BAKER, TP
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04): : 601 - 614
  • [50] A one-pass strategy for keyword spotting and verification
    Lai, CS
    Shi, BE
    2001 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS I-VI, PROCEEDINGS: VOL I: SPEECH PROCESSING 1; VOL II: SPEECH PROCESSING 2 IND TECHNOL TRACK DESIGN & IMPLEMENTATION OF SIGNAL PROCESSING SYSTEMS NEURALNETWORKS FOR SIGNAL PROCESSING; VOL III: IMAGE & MULTIDIMENSIONAL SIGNAL PROCESSING MULTIMEDIA SIGNAL PROCESSING - VOL IV: SIGNAL PROCESSING FOR COMMUNICATIONS; VOL V: SIGNAL PROCESSING EDUCATION SENSOR ARRAY & MULTICHANNEL SIGNAL PROCESSING AUDIO & ELECTROACOUSTICS; VOL VI: SIGNAL PROCESSING THEORY & METHODS STUDENT FORUM, 2001, : 377 - 380
12345