The definition and ordering of these sequence points are the theoretical foundation of imperative programming, and part of the semantics of an imperative programming language.
Определение и упорядочение этих точек следования являются теоретической основой императивного программирования и частью семантики императивного языка программирования.