Тема: тотальность

Статья

Факт-чекинг: право ответить «не могу проверить»

Режим flang facts целиком: три входа, узкая грамматика утверждений и почему она узкая, три исхода вместо двух, след вычисления в ответе — и чем это отличается от вопроса …

#flang#факт-чекинг#тотальность

Статья

Тотальность: как доказывается завершение

Как flang 0.7.29 доказывает, что функция с пометкой «тотальная» остановится: три способа убывать (часть значения, постоянный шаг с проверкой снизу, объявленная мера …

#flang#тотальность#завершаемость

Статья

Два класса программ: тотальная и обычная

Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит функции на два класса, и класс проверяет компилятор, а не …

#flang#тотальность#теория вычислимости

Статья

flang: язык, в котором программа обязана доказать, что остановится

Что такое flang 0.7.29: два класса программ вместо одного, доказательство завершения при проверке, примеры и постусловия внутри функции, перевод проверенной программы в …

#flang#языки программирования#тотальность