Description and analysis static semantic by Moritz