Оригинален
Тази идея произхожда от Робърт Фройд към по-ранни изследвания и той предоставя подобна система за блок-схемата. TEO Hall е публикуван за първи път през 1969 г. [и след това прецизиран за други изследователи.
Логиката на Хоаре (известна също като Логиката на Флойд Хоаре ) е система от форми, разработена от британския компютърен учен Кар Хоаре, последван от Хоаре и други усъвършенствани изследователи. Той е публикуван в статиите от 1969 г. „Основа на компютърни процедури“. Целта на тази система е да предостави набор от логически правила за осигуряване на коректността на компютърните програми, използвайки строга проактивна логика.
hoare признава ранния принос на Робърт Флойд и предоставя подобна система за блок-схемата.
Hall Trimethal Group
Централните характеристики на логиката на Hall са Hoare Triple. Тази тригрупа описва как да се извърши изпълнението на кода, който променя състоянието на изчислението. Тройната група на Хоар има следната форма
тук p и q е Askical и c е команда . P се нарича Предварително условие , а Q се нарича Следусловие . В резултат на предикатната логика. Тази троична група е в интуицията: докато P е установено в c , Q също е установено след изпълнение. Забележка: Ако C е прекратено, то не е там, така че Q може да бъде изобщо, може да бъде всеки оператор. Всъщност можете да изберете q , за да изразите c без прекратяване. Всъщност тази ситуация се нарича "Частична коректност". Ако c е прекратено и Q е вярно при прекратяване, изразът се нарича "Пълна коректност". Прекратяването трябва да се удостовери отделно.
Логиката на Хол предоставя действия и правила за разсъждение за всички конструкции на прости подредени езици за програмиране. В допълнение към правилата на простия език в статията на HOARE, друга езикова структура също е разработена от Hoare и много други изследователи. Включва паралелни, процедури, оператори goto и указатели.
Обикновено програмиране
Командно програмиране (на английски: императивно програмиране) е програмен модел за поведението, необходимо за описание на компютъра. Почти цялата работа по компютърния хардуер се поръчва; почти целият компютърен хардуер е проектиран да изпълнява машинния код, написан в стила на командата. Езикът за командно програмиране от по-висок клас използва променливи и по-сложни изрази, но все още композира от същия модел. Готвене и списък с действия, въпреки че не са компютърни програми, има подобен стил с подредени: всяка стъпка е инструкции, осезаем световен контрол. Поради основната концепция за подредени, не само е по-позната, но е по-лесна за изпълнение в хардуера, така че повечето от езиците за програмиране са поръчки.