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 条
  • [31] One-pass View-unaligned Clustering
    Dong, Wenhua
    Wu, Xiao-Jun
    Feng, Zhenhua
    Ahmed, Sara Atito Ali
    Awais, Muhammad
    Kittler, Josef
    IEEE TRANSACTIONS ON MULTIMEDIA, 2024, 26 : 9699 - 9709
  • [32] One-pass evaluation of region algebra expressions
    Young-Lai, M
    Tompa, FW
    INFORMATION SYSTEMS, 2003, 28 (03) : 159 - 168
  • [33] Distribution-Free One-Pass Learning
    Zhao, Peng
    Wang, Xinqiang
    Xie, Siyu
    Guo, Lei
    Zhou, Zhi-Hua
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 33 (03) : 951 - 963
  • [34] A ONE-PASS THINNING ALGORITHM WITH INTERFERENCE GUARDS
    STEWART, A
    PATTERN RECOGNITION LETTERS, 1994, 15 (08) : 825 - 832
  • [35] A SPECIFICATION LANGUAGE FOR ONE-PASS SEMANTIC ANALYSIS
    KOSKIMIES, K
    SIGPLAN NOTICES, 1984, 19 (06): : 179 - 189
  • [36] ONE-PASS TEXT COMPRESSION WITH A SUBWORD DICTIONARY
    JAKOBSSON, M
    JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1988, 39 (04): : 262 - 269
  • [37] A COMPARISON OF SOME ONE-PASS PARALLEL THINNINGS
    CHEN, YS
    HSU, WH
    PATTERN RECOGNITION LETTERS, 1990, 11 (01) : 35 - 41
  • [38] One-Pass Video Stabilization on Mobile Devices
    Jiang, Wei
    Wu, Zhenyu
    Wus, John
    Yu, Heather
    PROCEEDINGS OF THE 2014 ACM CONFERENCE ON MULTIMEDIA (MM'14), 2014, : 817 - 820
  • [39] One-pass parallel hexagonal thinning algorithm
    Staunton, RC
    IEE PROCEEDINGS-VISION IMAGE AND SIGNAL PROCESSING, 2001, 148 (01): : 45 - 53
  • [40] One-pass wavelet decompositions of data streams
    Gilbert, AC
    Kotidis, Y
    Muthukrishnan, S
    Strauss, MJ
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (03) : 541 - 554
12345