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 条
  • [1] A first-order one-pass CPS transformation
    Danvy, O
    Nielsen, LR
    THEORETICAL COMPUTER SCIENCE, 2003, 308 (1-3) : 239 - 257
  • [2] A first-order one-pass CPS transformation
    Danvy, O
    Nielsen, LR
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002, 2303 : 98 - 113
  • [3] ONE-PASS CULTIVATION
    SIMS, REH
    NEW ZEALAND JOURNAL OF AGRICULTURE, 1977, 135 (03): : 38 - &
  • [4] A new one-pass tableau calculus for PLTL
    Schwendimann, S
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 277 - 291
  • [5] One-Pass Reductions
    Vagvolgyi, Sandor
    ACTA CYBERNETICA, 2016, 22 (03): : 633 - 655
  • [6] ONE-PASS MODELING
    JONES, JH
    HARNE, RL
    FIRTH, KJ
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1985, 49 (JUN): : 471 - 473
  • [7] VALUE OF ONE-PASS RETENTION
    FRANKLE, WE
    SHERIDAN, JL
    TAPPI, 1976, 59 (02): : 84 - 88
  • [8] A new one-pass algorithm to detect region boundaries
    Kaygin, S
    Bulut, MM
    PATTERN RECOGNITION LETTERS, 2001, 22 (10) : 1169 - 1178
  • [9] On one-pass term rewriting
    Fülöp, Z
    Jurvanen, E
    Steinby, M
    Vágvölgyi, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 248 - 256
  • [10] One-Pass Clustering Superpixels
    Kesavan, Yogarajah
    Ramanan, Amirthalingam
    2014 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION FOR SUSTAINABILITY (ICIAFS), 2014,
12345