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 条
  • [1] Unfold/fold transformations of concurrent processes
    Lect Notes Comput Sci, (167):
  • [2] Unfold/fold transformations of CCP programs
    Etalle, S
    Gabbrielli, M
    Meo, MC
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 348 - 363
  • [3] Fold/Unfold Transformations for Fixpoint Logic
    Kobayashi, Naoki
    Fedyukovich, Grigory
    Gupta, Aarti
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 195 - 214
  • [4] UNFOLD FOLD TRANSFORMATIONS PRESERVING TERMINATION PROPERTIES
    AMTOFT, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 187 - 201
  • [5] Unfold/fold transformations for disjunctive logic programs
    Gergatsoulis, M
    INFORMATION PROCESSING LETTERS, 1997, 62 (01) : 23 - 29
  • [6] The design and application of the self-adaptive automatic control shearer drum
    Geng, Guoqiang
    International Journal of Mechatronics and Applied Mechanics, 2018, 2018 (04): : 207 - 214
  • [7] NEW SELF-ADAPTIVE AUTOMATIC CONTROL SYSTEM FOR TEMPERATURE AND HUMIDITY
    BARSKI, Z
    MESURES REGULATION AUTOMATISME, 1971, 36 (1-2): : 80 - &
  • [8] A self-adaptive automatic albuming system
    Hu, GG
    Chen, C
    Bu, JJ
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 684 - 689
  • [9] Research on Self-Adaptive Control Technology in Lockup Process of Automatic Transmission
    Sun, Wentao
    Tong, Yifan
    Liu, Ying
    Proceedings of the 2016 International Conference on Mechanics, Materials and Structural Engineering (ICMMSE), 2016, 29 : 232 - 237
  • [10] UNFOLD FOLD TRANSFORMATIONS AND LOOP OPTIMIZATION OF LOGIC PROGRAMS
    DEBRAY, SK
    SIGPLAN NOTICES, 1988, 23 (07): : 297 - 307
12345