Sciweavers

AISC
2010
Springer

Reducing Expression Size Using Rule-Based Integration

13 years 9 months ago
Reducing Expression Size Using Rule-Based Integration
This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted to integration. Several optimization goals are being pursued, including achieving the best form for the output, reducing the size of the repository while retaining its scope, and minimizing the number of steps required for the evaluation process. New optimizations for expression size are presented.
David J. Jeffrey, Albert D. Rich
Added 18 Jul 2010
Updated 18 Jul 2010
Type Conference
Year 2010
Where AISC
Authors David J. Jeffrey, Albert D. Rich
Comments (0)