1) язык Фортран (Fortran), название которого переводится как Formulae Translation – «преобразование формул». Первые сообщения, посвященные данному языку, были опубликованы в 1956 г. специалистами фирмы «IBM». Первоначальный вариант Фортрана в последующие годы не раз модифицировался и продолжает изменяться и в настоящее время. Столь длительное его существование объясняется простотой структуры языка. Вначале Фортран создавался как язык программирования в сфере научных и инженерно–технических вычислений. Однако его преимущество заключается в том, что на этом языке также легко описываются задачи с разветвленной логикой, некоторые экономические задачи и особенно задачи редактирования (составление таблиц, сводок, ведомостей и т.д.). Фортран положен в основу других языков программирования высокого уровня (например, Бейсика);

2) язык Бейсик (Basic), чье название расшифровывается как «B eginner's A ll–purpose S ymbolic I nstruction C ode» (BASIC) – «многоцелевой символический обучающий код для начинающих», был создан в 1964 г. как язык для обучения программированию. Бейсик по своим возможностям не уступает Фортрану, а по некоторым параметрам даже превосходит его;

3) язык Си (С), созданный в 1970–е гг. сотрудником лаборатории Bell Labs Д. Ритчи. Си разрабатывался как специальный язык системного программирования для написания операционной системы UNIX ( первоначально реализованной на ассемблере). Эффективность, экономичность и переносимость данного языка обеспечивают хорошее качество разработки практически любого вида программного продукта. Использование Си как инструментального языка позволяет получать быстрые и компактные программы. Во многих случаях программы, написанные на Си, сравнимы по скорости с программами, написанными на языке ассемблера, но создаются они гораздо быстрее. В 1980–е гг. на основе С был разработан язык С++, который практически включает язык С, а также средства объектно–ориентированного программирования;

4) язык Паскаль (Pascal), названный в честь французского ученого Б. Паскаля, был разработан в 1968—1971 гг. Н. Виртом. Изначально Паскаль создавался для обучения программированию, однако в дальнейшем стал широко использоваться для разработки программных средств профессиональными программистами.

Одной из разновидностей языков программирования высокого уровня являются проблемно–ориентированные языки, которые возникли в связи с постоянным расширением области применения вычислительной техники и возникновением целых классов новых задач, требующих решения. Языки данной группы позволяют программисту четко и коротко сформулировать задачу, а программы, написанные на основе этих языков, составлены соответственно в терминах решаемой задачи. К основным проблемно–ориентированным языкам можно отнести:

1) язык ЛИСП (Lisp – L ist I nformation S ymbol P rocessing), который был изобретен в 1962 г. Дж. Маккарти. Благодаря лИСПу возникла совершенно новая для программистов область деятельности – «искусственный интеллект». В настоящее время лИСП применяется в экспертных системах, системах аналитических вычислений и т.п.;

2) язык Пролог (Prolog – Pro gramming in Log ic), возникший как язык логического программирования для систем искусственного интеллекта. В основе Пролога лежат средства логического вывода, решающие запросы с использованием заданной базы фактов и правил, к которым обращаются как к утверждениям. Концепция объектно–ориентированного программирования основывается на том, что в основе управления процессом реализации программы лежит передача сообщений объектам.