Stanford University: Keith Schwarz's "Code Optimization", "Global Optimization", and "Global Optimization II"

Read these pages, which cover the material in more detail and present it in a unified formal way using semilattices.

Click http://web.archive.org/web/20160310175656/http://www.keithschwarz.com/cs143/WWW/sum2011/handouts/260_Code_Optimization.pdf link to open resource.