Static analysis of the physical dimensions in "physical” programs and its implementation in algebraic programming - M. S. Lvov (Problems in programming, 2015)