2 отношения: Инвариант, Логика разделения.
Инвариант
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое.
Новый!!: Инвариант цикла и Инвариант · Узнать больше »
Логика разделения
Логика разделения, сепарационная логика (separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара.
Новый!!: Инвариант цикла и Логика разделения · Узнать больше »