Redigerer Principles of Compiler Design (avsnitt)

===Kapittel 13. Mer om løkkeoptimalisering===
Kapittel 13, «mer om løkkeoptimalisering» (''More About Loop Optimization''), utdyper drøftelsen av løkkeoptimalisering. Kapittelet starter med å behandle [[dominator (grafteori)|dominatorer]], en [[kontrollflytgraf]] hvor node ''d'' dominerer en node ''n''.<ref name="Aho1977_441-447"/> Deretter fortsetter det med å behandle [[intervall (grafteori)|reduserbare flytgrafer]]<ref name="Aho1977_447-454"/> og beregninger av [[løkkeinvariant]]er.<ref name="Aho1977_454-466"/> Deretter behandles eliminasjon av [[Matematisk induksjon|induksjonsvariabler]].<ref name="Aho1977_466-471"/> Avslutningsvis behandles en del andre løkkeoptimaliseringer.<ref name="Aho1977_471-478"/>