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 条
  • [21] A ONE-PASS HEURISTIC FOR NESTING PROBLEMS
    Kierkosz, Igor
    Luczak, Maciej
    OPERATIONS RESEARCH AND DECISIONS, 2019, 29 (01) : 37 - 60
  • [22] Rotation coating with one-pass technology
    Passman, D
    WOCHENBLATT FUR PAPIERFABRIKATION, 2005, 133 (20): : 1272 - +
  • [23] One-Pass Sparsified Gaussian Mixtures
    Kightley, Eric
    Becker, Stephen
    2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2019, : 2865 - 2870
  • [24] ONE-PASS NOISE-REDUCTION
    BURSTEIN, H
    AUDIO, 1983, 67 (10): : 26 - 26
  • [25] MULTIPASS VS ONE-PASS PLOTTERS
    TAYLOR, BA
    COMPUTER GRAPHICS WORLD, 1986, 9 (03) : 71 - &
  • [26] New One-Pass Universal AKE Protocol for Anonymous Wireless Roaming
    Qi, Mingping
    WIRELESS PERSONAL COMMUNICATIONS, 2024, : 1607 - 1621
  • [27] Updating Graph Indices with a One-Pass Algorithm
    Yuan, Dayu
    Mitra, Prasenjit
    Yu, Huiwen
    Giles, C. Lee
    SIGMOD'15: PROCEEDINGS OF THE 2015 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2015, : 1903 - 1916
  • [28] ONE-PASS COMPLEXITY OF DIGITAL PICTURE PROPERTIES
    SELKOW, SM
    JOURNAL OF THE ACM, 1972, 19 (02) : 283 - &
  • [29] Cubic convolution for one-pass restoration and resampling
    Reichenbach, SE
    Haake, K
    IGARSS '96 - 1996 INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM: REMOTE SENSING FOR A SUSTAINABLE FUTURE, VOLS I - IV, 1996, : 1597 - 1599
  • [30] One-pass tableaux for computation tree logic
    Abate, Pietro
    Gore, Rajeev
    Widmann, Florian
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 32 - +
12345