Дедуктивный синтез программ

Реляционная абстракция

Техника представления поведения программы через отношения между состояниями, облегчающая рассуждения о свойствах и синтез корректных программ.

← Назад