Introduction | part of Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization | MIT Press books | IEEE Xplore