В основе структурного программирования лежит теорема, которая была доказана в теории
программирования: алгоритм для решения любой логической задачи можно составить только из структур Следование, Ветвление, Цикл, называемых базовыми алгоритмическими конструкциями.
Сложные алгоритмы состоят из соединенных между собой базовых структур.
Соединение этих структур может выполняться двумя способами: последовательным и вложенным.
В 1965 г. в Дартмутском университете был разработан язык Бейсик.
Значительным событием в истории языков программирования стало создание в 1971 г. (профессор из Швейцарии Никлаус Вирт) языка Паскаль как учебного языка структурного программирования.
Фирма Borland International, Inc (США) разработала систему программирования ТурбоПаскаль для ПК. ТурбоПаскаль – это не только язык и транслятор с него, но еще и интегрированная среда программирования, обеспечивающая пользователю удобство работы на языке Паскаль.
Широко известны такие версии, как TMTPascal, GNUPascal, FreePascal.
В конце 60-х – начале 70-х гг. XX в. появляется и развивается технология структурного программирования (Э. В. Дейкстр, Х. Д. Милс, Д. Е. Кнут).