| |
Гречаник, С. А.
Доказательство свойств функциональных программ методом насыщения равенствами [Текст] / С. А. Гречаник
// Программирование. – 2015. – № 3. – С. 44-61.
В данной статье показано, как метод насыщения равенствами может быть применен для доказательства алгебраических свойств программ на нетотальном функциональном языке первого порядка с нестрогой семантикой. |
