Complete Systems of Equivalent Transformations in Balanced Semigroup Models of Programs with Left Cancellation

摘要

Models of programs considered in this paper are classified among algebraic ones. They were introduced in [1] and are widely used in theoretical programming. Like other program models, algebraic models are designed for studying semantic program properties considered under certain formalization.