AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD-FOLD TRANSFORMATIONS

被引：0
|
作者：
BOYLE, JM
机构：
来源：
PROGRAMMING CONCEPTS, METHODS AND CALCULI | 1994年 / 56卷
关键词：
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 条
  • [31] Self-adaptive PD control of robot manipulator
    Ge Dongyuan
    Jiang Shousheng
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 605 - +
  • [32] SELF-ADAPTIVE CONTROL FOR BLOOD-PRESSURE
    QU, XJ
    MAO, Z
    CONTROL ENGINEERING PRACTICE, 1994, 2 (04) : 659 - 664
  • [33] Control Strategies for Self-Adaptive Software Systems
    Filieri, Antonio
    Maggio, Martina
    Angelopoulos, Konstantinos
    D'Ippolito, Nicolas
    Gerostathopoulos, Ilias
    Hempel, Andreas Berndt
    Hoffmann, Henry
    Jamshidi, Pooyan
    Kalyvianaki, Evangelia
    Klein, Cristian
    Krikava, Filip
    Misailovic, Sasa
    Papadopoulos, Alessandro V.
    Ray, Suprio
    Sharifloo, Amir M.
    Shevtsov, Stepan
    Ujma, Mateusz
    Vogel, Thomas
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2017, 11 (04)
  • [34] Self-adaptive and Automatic Program Design and Application in Vending Machine
    Huang Yunlong
    Zhu Qiuqin
    Yu Shiming
    ADVANCED MATERIALS AND INFORMATION TECHNOLOGY PROCESSING, PTS 1-3, 2011, 271-273 : 372 - +
  • [35] A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems
    da Silva, Carlos Eduardo
    de Lemos, Rogerio
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2011, 35 (01): : 3 - 13
  • [36] Automatic generation of self-adaptive transactors from PSL assertions
    Demrozi, Florenc
    Pravadelli, Graziano
    Stefanni, Francesco
    2016 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2016,
  • [37] Research on Self-adaptive Algorithm in Self-adaptive Web System
    Cao, CaiFeng
    Luo, YaoZu
    Gong, Jing
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS RESEARCH AND MECHATRONICS ENGINEERING, 2015, 121 : 25 - 28
  • [38] Research on self-adaptive control strategy applied to magnetic powder clutch during automatic vehicle starting
    Xie, Xianping
    Wang, Xudong
    Wu, Xiaogang
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 1842 - 1846
  • [39] The Application of the Fuzzy Self-adaptive PID Controller to the Automatic Operation Control of Water Transfer Canal System
    Ding, Zhiliang
    Wang, Changde
    Tan, Guangming
    Guan, Guanghua
    ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL II, PROCEEDINGS, 2009, : 822 - +
  • [40] Self-adaptive correction of clutch control with proportional valve
    彭建鑫
    刘海鸥
    陈慧岩
    JournalofBeijingInstituteofTechnology, 2013, 22 (02) : 179 - 184
12345