this greatly increased the potential speed up for instruction level parallel architectures programs written in gallina have the weak normalization property they always terminate abanyegiputa bakoresha abisirayeli agahato