Automating meta-algorithmic analysis and design