Методологические основания развития языков программирования

• Автор: Казакова, Анастасия Евгеньевна
• Шифр специальности: 09.00.08
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Москва
• Количество страниц: 146 с.

Содержание
Введение.

Глава 1. Развитие концепций языков программирования

1.1. Определение понятия язык программирования.

1.1.1. Программирование первых вычислительных машин.

1.1.2. Программирование как рассуждение.

1.1.3. Программирование как создание алгоритма

1.1.4. Программирование как моделирование программ

1.2. Практические основания развития языков программирования.

1.2.1. Зависимость языков программирования от архитектурных особенностей конкретного вычислителя

1.2.2. Создание предметноориентированных языков

программирования
1.2.3. Разработка универсальных языков
Глава 2. Практические реализации языков программирования.
2.1. Методы реализации языков программирования.
2.1.1. Практические решения.
2.1.2. Проблемы реализации языков программирования
2.2. Исследования в области языков программирования,
направленные на преодоление проблем реализации.
2.2.1. Становление дисциплины программирования
2.2.2. Теория абстрактной машины Л. Тьюринга
2.2.3. Теория порождающей грамматики Н. Хомского
Глава 3. Методологические основания для выделения парадигм
программирования
3.1. Исследования синтаксиса и семантики языков программирования.
3.1.1. Метод описания синтаксиса языков программирования
форма БэкусаНаура
3.1.2. Основные подходы к описанию семантик языков
программирования.
3.2. Парадигмы программирования
3.2.1. Понятие парадигма Т.С. Куна и парадигмы
программирования.
3.2.2. Теория языков программирования как становящаяся
техническая теория.
Заключение.
Библиография


Практический сравнительный анализ. М. Мир, . Пратт Т. Языки программирования разработка и реализация. Пер. Под ред. Ю.М. Баяковского. М. Мир. . . i , ii ii , I, Русский перевод СсбсстаР. У. Основные концепции языков программирования. М., Спб. К. Бодуэна, Эволюция языков программирования Г. Грогоно. Они также послужили материалом для данной работы. Другие работы представляют собой практические пособия по использованию какоголибо из языков программирования, точнее одной из его версий, и, по сути, являются учебными руководствами. Все эти исследования имеют точки пересечения, поскольку преследуют цель систематизировать множество знаний о языках программирования, что определяет становление теории программирования как научной дисциплины. Объектом данного исследования являются концепции языков, предназначенных для программирования вычислительных устройств. Предмет исследования развитие языков программирования как средств выражения и реализации вычислительных и алгоритмических процедур, осуществляемых посредством вычислительной машины. Цель данного исследования выявить методологические основания развития языков программирования и определить этапы становления теории языков программирования как технической теории. Выделить концептуальные представления о языках прелраммирования, послужившие основанием для формирования методологической базы теории языков программирования, а также очертить значимые этапы их эволюции. I Мснср Б. Бодуэн К. Методы программирования в 2х томах. Т.1. Ю.Л. Псрвина. М. Мир. . vi i . i, i ivi, , . Материалом послужили также работы i i, i vi, i , и , ii i i, vi, Ii x ivi , . Определить задачи, стимулирующие развитие языков программирования, и выделить тенденции развития методологических средств, обеспечивающих решение этих задач. Определить направление развития теоретических исследований в области языков программирования и выявить специфические характеристики становления теории языков программирования как научнотехнической теории. Методологической основой исследования является концепция развития технической теории, разработанная В. Г. Гороховым и представленная в работе Философия науки и техники. Положения, выносимые на защиту. Концепции языков программирования высокого уровня складываются и развиваются в результате стремления разработчиков снизить семантический разрыв, лежащий между языком описания работы вычислительного устройства в его конкретной физической реализации и языком, на котором осуществляется постановка задачи, зачастую представляющем смесь естественного языка и языка математики. Степин В. С., Горохов В. Г., Розов М. Л. Философия науки и техники. В качестве основной тенденции развития языков программирования можно выделить поиск таких методологий программирования, которые позволили бы наиболее точно отразить логику человеческих действий, ориентированных на решение задач, относящихся к различным предметным областям. Языки программирования выполняют, с одной стороны, роль искусственных языков, в которых запечатлены чисто математические методы, с другой стороны, сами представляют собой аналитический метод по отношению к языку заданной предметной области, задачи которой предполагается решить посредством вычислительной машины. Развитие теоретических исследований в области языков программирования определено стремлением повысить выразительные возможности языковых конструкций посредством реализации средств создания предельно абстрактных математических объектов. Теория языков программирования развивается согласно особенностям, определенным концепцией развития технических теорий В. Г. Горохова, выбранной в качестве методологии для данного исследования.