AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD-FOLD TRANSFORMATIONS

被引:0
|
作者
BOYLE, JM
机构
关键词
AUTOMATIC PROGRAMMING; APPLICATIVE (FUNCTIONAL) PROGRAMMING; GRAMMARS AND OTHER REWRITING SYSTEMS;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
I describe an automated approach to partial evaluation based transformations for elementary simplifications and unfolding and folding, The approach emphasizes program algebra and relies on canonical forms and distributive laws to expose instances to which the elementary simplifications apply. This approach to partial evaluation has been applied to a number of practical examples of moderate complexity, including eliminating a data structure from a partial-differential-equation solver.
引用
收藏
页码:83 / 103
页数:21
相关论文
共 50 条
  • [21] An automatic approach for parameter selection in self-adaptive tracking
    Hall, Daniela
    Emonet, Remi
    Crowley, James L.
    VISAPP 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 2, 2006, : 20 - +
  • [22] Enabling self-adaptive QoE/QoS control
    Lima, Solange Rito
    Carvalho, Paulo
    2011 IEEE 36TH CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN), 2011, : 239 - 242
  • [23] A PARAMETER IDENTIFICATION SELF-ADAPTIVE CONTROL SYSTEM
    PARRY, IS
    HOUPIS, CH
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1970, AC15 (04) : 462 - &
  • [24] CONSTRUCTION OF SELF-ADAPTIVE MODELS OF CONTROL OBJECTS
    LOAN, NT
    KHARITONOV, AN
    KOLESNIKOV, AV
    ENGINEERING CYBERNETICS, 1974, 12 (02): : 144 - 150
  • [25] Self-adaptive control of a piston wave absorber
    Chatry, G
    Clement, AH
    Gouraud, T
    PROCEEDINGS OF THE EIGHTH INTERNATIONAL OFFSHORE AND POLAR ENGINEERING CONFERENCE, VOL 1, 1998, : 127 - 133
  • [26] The design of a self-adaptive fuzzy control system
    Wang, XC
    Xiang, SW
    Zhang, Y
    Leng, J
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 305 - 308
  • [27] SELF-ADAPTIVE CONTROL OF SURFACE IRRIGATION ADVANCE
    KATOPODES, ND
    TANG, JH
    JOURNAL OF IRRIGATION AND DRAINAGE ENGINEERING, 1990, 116 (05) : 697 - 713
  • [28] SYMPOSIUM - THEORY OF SELF-ADAPTIVE CONTROL SYSTEMS
    MEEROV, MV
    AUTOMATION AND REMOTE CONTROL, 1966, 27 (02) : 336 - &
  • [29] Self-adaptive Software with Decentralised Control Loops
    Calinescu, Radu
    Gerasimou, Simos
    Banks, Alec
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 235 - 251
  • [30] OPTIMAL SEARCH AND SELF-ADAPTIVE CONTROL FOR FLOTATION
    ZHEN, S
    WEIXIA, Y
    JOURNAL OF METALS, 1983, 35 (12): : 60 - 60