The SyStematic development of efficient programS from high-level SpecificationS by meaning-preServing program manipulationS. AlSo known aS optimiSation. See fuSion, loop combination, peephole optimiSation, {regiSter allocation}, {tupling}, {unfold/fold}.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ at ] [ b ] [ bi ] [ by ] [ ca ] [ cat ] [ ch ] [ ci ] [ co ] [ com ] [ combination ] [ de ] [ development ] [ du ] [ ec ] [ ee ] [ eg ] [ er ] [ eS ] [ fi ] [ file ] [ fo ] [ fr ] [ fuSion ] [ gh ] [ gi ] [ gr ] [ h ] [ hole ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ iS ] [ kn ] [ la ] [ ld ] [ Lex ] [ li ] [ location ] [ loop ] [ loop combination ] [ lS ] [ ma ] [ man ] [ mo ] [ mod ] [ module ] [ mS ] [ na ] [ nf ] [ ng ] [ ni ] [ no ] [ nS ] [ om ] [ op ] [ pe ] [ peephole optimiSation ] [ ph ] [ pl ] [ pling ] [ pm ] [ pr ] [ program ] [ pt ] [ query ] [ rc ] [ re ] [ regiSter ] [ regiSter allocation ] [ ro ] [ S ] [ Sa ] [ Se ] [ Si ] [ So ] [ Spec ] [ Specification ] [ St ] [ Sy ] [ SyStem ] [ T ] [ tupling ] [ unfold ] [ unfold/fold ] [ up ] [ uS ] [ ve ] [ vi ]