Semantics
Semantic definition methods provide:
A precise standard for a computer implementation guaranteeing that the language is implemented exactly the same on all machines and enhancing portability.
Useful user documentation
A tool for design and analysis
Input to a compiler generator which maps a semantics definition to a guaranteed correct implementation for the language.
A mathematical basis for program verification