Содержание
6 отношения: Microsoft, Ассоциация вычислительной техники, Функция высшего порядка, Дейкстра, Эдсгер Вибе, Лэмпорт, Лесли, Логика Хоара.
- Формальные методы
Microsoft
Microsoft (Microsoft Corporation, «Ма́йкрософт») — одна из крупнейших транснациональных компаний по производству проприетарного программного обеспечения для различного рода вычислительной техники — персональных компьютеров, игровых приставок, КПК, мобильных телефонов и прочего, разработчик наиболее широко распространённой на данный момент в мире программной платформы — семейства операционных систем Windows.
Посмотреть Слабейшее предусловие и Microsoft
Ассоциация вычислительной техники
Ассоциация вычислительной техники (Association for Computing Machinery, ACM) — старейшая и наиболее крупная международная организация в компьютерной области.
Посмотреть Слабейшее предусловие и Ассоциация вычислительной техники
Функция высшего порядка
Фу́нкция вы́сшего поря́дка — в программировании функция, принимающая в качестве аргументов другие функции или возвращающая другую функцию в качестве результата.
Посмотреть Слабейшее предусловие и Функция высшего порядка
Дейкстра, Эдсгер Вибе
Э́дсгер Ви́бе Де́йкстра (Edsger Wybe Dijkstra (11 мая 1930, Роттердам, Нидерланды — 6 августа 2002,, Нидерланды) — нидерландский учёный, труды которого оказали влияние на развитие информатики и информационных технологий; один из разработчиков концепции структурного программирования, исследователь формальной верификации и распределённых вычислений.
Посмотреть Слабейшее предусловие и Дейкстра, Эдсгер Вибе
Лэмпорт, Лесли
Лесли Лэмпорт (Leslie Lamport; 7 февраля 1941 года, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры.
Посмотреть Слабейшее предусловие и Лэмпорт, Лесли
Логика Хоара
Логика Хоара (Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ.
Посмотреть Слабейшее предусловие и Логика Хоара
См. также
Формальные методы
- CompCert
- E-LOTOS
- Oracle Unified Method
- Rational Unified Process
- TLA⁺
- Автоматическое доказательство
- Гомотопическая теория типов
- Доказательные вычисления
- Задача выполнимости булевых формул
- Задача выполнимости формул в теориях
- Инвариант цикла
- Лямбда-исчисление
- Машина Тьюринга
- Принцип подстановки Лисков
- Семантика (программирование)
- Система типов Хиндли — Милнера
- Слабейшее предусловие
- Статический временной анализ
- Теория множеств
- Утверждение (программирование)
- Формальная верификация
- Формальная спецификация
- Формальные методы