Application of lattice algebra to loop optimization

Abstract
No abstract available