Уточнение (вычисление)

• Основные понятия в информатике

  • Уточнение данных: преобразование абстрактных моделей данных в конкретные структуры данных. 
  • Уточнение операций: преобразование спецификаций операций в программы. 
  • Доработка программы: проверка и преобразование абстрактных спецификаций в исполняемые программы. 
  • Сокращение расходов: альтернатива уточнению, когда формальная доработка невозможна. 
  • Противоположность уточнению: абстракция. 

• Уточняющее исчисление и его применение

  • Уточняющее исчисление: формальная система для уточнения программ. 
  • Система преобразования Ферма: промышленная реализация уточняющего исчисления. 
  • B-метод: расширение возможностей уточняющего исчисления с помощью компонентного языка. 

• Типы уточнений в теории типов

  • Уточняющий тип: тип с предикатом, относящимся к любому элементу уточненного типа. 
  • Примеры уточняющих типов: типы функций, принимающих и возвращающих натуральные числа с определенными условиями. 

• Рекомендации

  • Статья является заглушкой и нуждается в расширении. 
  • Читателей просят помочь Википедии, дополняя статью.