Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
Patricia Johann, Eelco Visser · 2003
Abstract programming supports the separation of logical concerns from issues of control in program construction. While this separation of concerns leads to reduced code size and increased reusability of code, its main disadvantage is the computational overhead it incurs. Fusion techniques can be used to combine the reusability of abstract programs with the e#ciency of specialized programs.