FCG - A CODE GENERATOR FOR LAZY FUNCTIONAL LANGUAGES

被引:0
|
作者
LANGENDOEN, K
HARTEL, PH
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The FCG code generator produces portable code that supports efficient two-space copying garbage collection. The code generator transforms the output of the FAST compiler front end into an abstract machine code. This code explicitly uses a call stack, which is accessible to the garbage collector. In contrast to other functional language compilers that generate assembly directly, FCG uses the C compiler for code generation, providing high-quality code optimisations and portability. To make full use of the C compiler's capabilities, FCG includes an optimisation scheme that transforms the naively generated stack-based code into a register-based equivalent form. The results for a benchmark of functional programs show that code generated by FCG performs well in comparison with the LML compiler.
引用
收藏
页码:278 / 296
页数:19
相关论文
共 50 条
  • [31] Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
    Vasconcelos, Pedro
    Jost, Steffen
    Florido, Mario
    Hammond, Kevin
    PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 787 - 811
  • [32] Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude
    Fourtounis, Georgios
    Olveczky, Peter Csaba
    Papaspyrou, Nikolaos
    HLPP 11: PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING & APPLICATIONS, 2011, : 19 - 26
  • [33] Meta3: a code generator framework for domain-specific languages
    Kovesdan, Gabor
    Lengyel, Laszlo
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (04): : 2421 - 2439
  • [34] Meta3: a code generator framework for domain-specific languages
    Gábor Kövesdán
    László Lengyel
    Software & Systems Modeling, 2019, 18 : 2421 - 2439
  • [35] Verified Validation of Lazy Code Motion
    Tristan, Jean-Baptiste
    Leroy, Xavier
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 316 - 326
  • [36] CODE IMPROVEMENT VIA LAZY EVALUATION
    HANSON, DR
    INFORMATION PROCESSING LETTERS, 1980, 11 (4-5) : 163 - 167
  • [37] Verified Validation of Lazy Code Motion
    Tristan, Jean-Baptiste
    Leroy, Xavier
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 316 - 326
  • [38] LAZY FUNCTIONAL PROGRAMMING
    WADLER, P
    COMPUTER JOURNAL, 1989, 32 (02): : 97 - 97
  • [39] ORDER-OF-DEMAND ANALYSIS FOR LAZY LANGUAGES
    PARK, YG
    GOLDBERG, B
    INFORMATION PROCESSING LETTERS, 1995, 55 (06) : 343 - 348
  • [40] An Universal Resolving Algorithm for inverse computation of lazy languages
    Abramov, Sergei
    Gluck, Robert
    Klimov, Yuri
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 27 - +