Sciweavers

6 search results - page 2 / 2
» Toggle Equivalence Preserving (TEP) Logic Optimization
Sort
View
PPDP
2007
Springer
13 years 11 months ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...