A generic framework for specialization

被引：0
|
作者：
Thiemann, P [1 ]
机构：
[1] Univ Tubingen, D-72074 Tubingen, Germany
来源：
PROGRAMMING LANGUAGES AND SYSTEMS | 1998年 / 1381卷
关键词：
higher-order programming; program transformation; partial evaluation; computational effects;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a generic framework for specifying and implementing offline partial evaluators. The framework provides the infrastructure for specializing higher-order programs with computational effects specified through a monad. It performs sound specialization for all monadic instances and is evaluation-order independent. It subsumes most previously published partial evaluators for higher-order functional programming languages in the sense that they are instances of the generic framework with respect to a particular monad.
引用
收藏
页码：267 / 281
页数：15
相关论文
共 50 条
  • [1] A generic framework for the analysis and specialization of logic programs
    Puebla, G
    Albert, E
    Hermenegildo, M
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 407 - 409
  • [2] Generic specialization
    Wright, M
    [J]. EDN, 2002, 47 (26) : 22 - 22
  • [3] Algorithm specialization in generic programming
    Jaervi, Jaakko
    Gregor, Douglas
    Willcock, Jeremiah
    Lumsdaine, Andrew
    Siek, Jeremy
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (06) : 272 - 282
  • [4] Specialization classes: An object framework for specialization
    Cowan, C
    Black, A
    Krasic, C
    Pu, C
    Walpole, J
    Consel, C
    Volanschi, EN
    [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTATION IN OPERATING SYSTEMS, 1996, : 72 - 77
  • [5] Algebraic Specialization of Generic Functions for Recursive Types
    Cunha, Alcino
    Pacheco, Hugo
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 229 (05) : 57 - 74
  • [6] GENERIC FREENESS OF LOCAL COHOMOLOGY AND GRADED SPECIALIZATION
    Chardin, Marc
    Cid-Ruiz, Yairon
    Simis, Aron
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2022, 375 (01) : 87 - 109
  • [7] Persistent Asynchronous Adaptive Specialization for Generic Array Programming
    Clemens Grelck
    Heinrich Wiesinger
    [J]. International Journal of Parallel Programming, 2019, 47 : 164 - 183
  • [8] Software reuse by specialization of generic procedures through views
    Novak, GS
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (07) : 401 - 417
  • [9] THE MYTH OF GENERIC PRACTICE - SPECIALIZATION IN SOCIAL-WORK
    CHALLIS, D
    FERLIE, E
    [J]. JOURNAL OF SOCIAL POLICY, 1988, 17 : 1 - 22
  • [10] Persistent Asynchronous Adaptive Specialization for Generic Array Programming
    Grelck, Clemens
    Wiesinger, Heinrich
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2019, 47 (02) : 164 - 183
12345