Redigerer Principles of Compiler Design (avsnitt)

===Kapittel 14. Mer om dataflytanalyse===
Kapittel 14, «mer om dataflytanalyse» (''More About Data-Flow Analysis''), fortsetter drøftelsen av [[dataflytanalyse]]r. Etter å ha gjort en del grunnleggende definisjoner,<ref name="Aho1977_478-479"/> beskrives ''constant folding'' som en måte å gjenkjenne og evaluere konstanter i uttrykk under kompilering i stedet for at de beregnes under kjøring.<ref name="Aho1977_479-481"/> Deretter beskrives [[tilgjengelige uttrykk]], som er en analysealgoritme for å bestemme mengden med uttrykk som ikke behøves å beregnes på nytt.<ref name="Aho1977_482-487"/> Videre beskrives behandlingen av [[copy propagation]].<ref name="Aho1977_487-489"/> Etter å ha behandlet en [[dataflytanalyse|baklengs analyse]] av dataflyten,<ref name="Aho1977_489-491"/> kommer boken inn på ''«svært opptatte uttrykk»'' og ''kodeheising''.<ref name="Aho1977_491-497"/> Deretter beskrives fire former for dataflytanalyser: To som følger dataflyten fremover, og to som følger dataflyten bakover.<ref name="Aho1977_497-504"/> Avslutningsvis beskrives dataflytanalyser mellom prosedyrer.<ref name="Aho1977_504-517"/>