Новый язык для структурного программирования

Излагаются идеи структурного программирования для простой и непосредственной проверки частичной правильности программ во время их отладки. Предлагается язык (названный STOL) для конструирования структурных программ “в чистом виде”, дающий возможность их проверки данным набором операторов.