Abstract:Warm-up transformation is an important preprocess for shortcut fusion. In this paper, we formalize the warm-up transformation by proposing several general and powerful calculation rules that can be directly implemented with help of higher-order pattern matching. The newly proposed warm-up transformation cannot only deal with pro- grams that existing methods may fail, but also suitable for efficient implementation. Constructing programs from components, i.e., modules, is an important technique in designing large software. Dividing problems into small modules realizes local- ization of problems. Consequently, programs are easy to maintain. If each module is maintained as a versatile component, reusability is improved. The problem is, however, in its inefficiency due to unnecessary intermediate data structures passed between modules. Improvement of performance can be achieved if these interme- diate data structures are removed by automatic analysis and automatic transforma- tion. Fusion (a.k.a. Deforestation) (Wad90) is a technique of elimination of inter- mediate data structures. Descendent from it, Gill et al. (GLP93) proposes short- cut fusion, which is a single, local transformation rule, to ease the implementa- tion (PTH01). The precondition of shortcut fusion assumes the producer function to be expressed in terms of build. If we could prepare all the functions in terms of foldr and build, shortcut fusion could remove intermediate data structures automatically. Functional programmer usually describes program as recursive definitions, since foldr form and build form are less natural than recursive definitions. Therefore, the problem is how to derive foldr form and build form from a recursive definition. There is an approach to au- tomatically derive the foldr form (SF93, HIT96). Therefore, the problem is settled down into the derivation of build form from a recursive function. Warm fusion (LS95) accompanies shortcut fusion with a preprocess (hereafter we call it warm-up transformation). It transforms recursive functions into func- tions in terms of build automatically. The technique has been implemented with the Stratego language (JV00), which is based on term rewriting framework. The

An Extension Of The Acid Rain Theorem

Deriving Structural Hylomorphisms from Recursive Definitions

A Calculational Fusion System HYLO

A Lab Experiment on Eluviating the Mixture of Disassembled Waste Electrical Equipment and Municipal Refuses with Simulated Acid Rain.

Superfusion: Eliminating Intermediate Data Structures Via Inductive Synthesis

Fusion Assessment of Safety and Security for Intelligent Industrial Unmanned Systems

Calculation Rules for Warming-up in Fusion Transformation

Catamorphism-Based Transformation of Functional Programs

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version

Extension of Inagaki General Weighted Operators and A New Fusion Rule Class of Proportional Redistribution of Intersection Masses

Instruction Fusion Technology for the MIPS

Program optimizations and transformations in calculation form

FUSE (Fusion Synthesis Engine): A Next Generation Framework for Integrated Design of Fusion Pilot Plants

Fusing Direct Manipulations into Functional Programs

Almost Continuous Transformations of Software and Higher-order Dataflow Programming

Unification of Fusion Theories, Rules, Filters, Image Fusion and Target Tracking Methods (UFT)

Towards Manipulation of Mutually Recursive Functions.

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming

GN-Transformer: Fusing Sequence and Graph Representation for Improved Code Summarization

A Comprehensive and Automated Fusion Method: The Enhanced Flexible Spatiotemporal DAta Fusion Model for Monitoring Dynamic Changes of Land Surface