Compilers optimise code. A good compiler reduces memory requirements & processor time needed to run code.
NULLSTONE for C offers compiler developers and users a way to verify the optimisations supported by compilers and their correctness.
For more - write to sales@sankhya.com