Уточнение (вычисление)
-
Основные понятия в информатике
- Уточнение данных: преобразование абстрактных моделей данных в конкретные структуры данных.
- Уточнение операций: преобразование спецификаций операций в программы.
- Доработка программы: проверка и преобразование абстрактных спецификаций в исполняемые программы.
- Сокращение расходов: альтернатива уточнению, когда формальная доработка невозможна.
- Противоположность уточнению: абстракция.
-
Уточняющее исчисление и его применение
- Уточняющее исчисление: формальная система для уточнения программ.
- Система преобразования Ферма: промышленная реализация уточняющего исчисления.
- B-метод: расширение возможностей уточняющего исчисления с помощью компонентного языка.
-
Типы уточнений в теории типов
- Уточняющий тип: тип с предикатом, относящимся к любому элементу уточненного типа.
- Примеры уточняющих типов: типы функций, принимающих и возвращающих натуральные числа с определенными условиями.
-
Рекомендации
- Статья является заглушкой и нуждается в расширении.
- Читателей просят помочь Википедии, дополняя статью.