STG Decomposition: Optimised Backtracking and Component Reduction
Mark Schaefer
2005-13
in: Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, 2005
This paper deals with the decomposition method of Vogler, Wollowski and Kangsah and introduces several methods for the improvement of efficiency. These methods are discussed and compared by the means of benchmark examples.
Downloads:
- STG Decomposition: Optimised Backtracking and Component Reduction - (OptimisedDecomposition.pdf, 229 KB)

