Теория языков программирования и методы трансляции курсовая работа

Раздел о том. Какие задачи могут быть решены. См. в разделе Теория вычислений .

Теория языков программирования (PLT) — это отрасль информатики, которая занимается проектированием. Реализацией, анализом. Характеристикой и классификацией языков программирования и их индивидуальных особенностей. Он относится к дисциплине информатики. Как зависящей. Так и влияющей на математику, программную инженерию, лингвистику и даже когнитивную науку. Она стала признанной отраслью информатики и активной исследовательской областью. Результаты которой публикуются в многочисленных журналах, посвященных PLT. А также в общих публикациях по информатике и технике.

История

В некотором смысле история теории языков программирования предшествует даже развитию самих языков программирования. Лямбда-исчисление, разработанное Алонсо Черчем и Стивеном Коулом Клином в 1930-х годах. Считается одним из первых в мире языков программирования. Хотя оно предназначалось для моделирования вычислений. А не для описания алгоритмов компьютерной системы. Многие современные функциональные языки программирования были описаны как обеспечивающие [1], и многие из них легко описываются в его терминах.

Первый язык программирования . Который был изобретен. Был Plankalkül, который был разработан Конрадом Цузе в 1940-х годах. Но не был публично известен до 1972 года (и не реализован до 1998 года). Первым широко известным и успешным языком программирования высокого уровня был Fortran, разработанный с 1954 по 1957 год командой исследователей IBM во главе с Джоном Бакусом. Успех ФОРТРАНА привел к созданию комитета ученых по разработке АЛГОЛ 58. Отдельно Джон Маккарти из Массачусетского технологического института разработал язык программирования Lisp (на основе лямбда-исчисления). Первый язык с происхождением в академических кругах. Чтобы быть успешным. С успехом этих первоначальных усилий языки программирования стали активной темой исследований в 1960-х годах и далее.

Некоторые другие ключевые события в истории теории языка программирования с тех пор:

1950

  • Ноам Хомский разработал иерархию Хомского в области лингвистики, открытие. Которое непосредственно повлияло на теорию языка программирования и другие отрасли информатики.

1960

1970-е

1980

1990

Поддисциплины и связанные с ними области

Существует несколько областей исследований. Которые либо лежат в рамках теории языка программирования. Либо оказывают на нее глубокое влияние; многие из них имеют значительное перекрытие. Кроме того, PLT использует многие другие разделы математики, включая теорию вычислимости . Теориюкатегорийи теорию множеств.

Формальная семантика

Формальная семантика — это формальная спецификация поведения компьютерных программ и языков программирования. Три общих подхода к описанию семантики или денотационная семантика, операционная семантика и аксиоматическая семантика.

Теория типов

Теория типов-это изучение систем типов, которые являются [3] Многие языки программирования отличаются особенностями своих систем типов.

Анализ и преобразование программ

Анализ программ-это общая задача исследования программы и определения ключевых характеристик (таких как отсутствие классов программных ошибок). Преобразование программы-это процесс преобразования программы в одной форме (языке) в другую форму.

Сравнительный анализ языков программирования

Сравнительный анализ языков программирования стремится классифицировать языки программирования на различные типы на основе их характеристик; широкие категории языков программирования часто известны как парадигмы программирования.

Общие и метапрограммирование

Метапрограммирование-это генерация программ более высокого порядка. Которые при выполнении производят программы (возможно. На другом языке или на подмножестве исходного языка) в результате.

Доменно-зависимые языки

Предметно-ориентированные языки-это языки. Созданные для эффективного решения задач определенной части предметной области.

Конструкция компилятора

Теория компиляторов-это теория написания компиляторов (или. Более широко, переводчиков); программ. Которые переводят программу. Написанную на одном языке. В другую форму. Действия составителя традиционно разбита на синтаксический анализ (сканирование и анализ), семантический анализ (определение того. Что программа должна делать), оптимизации (повышение эффективности программы. Как указано в некоторых метрик; обычно скорость выполнения) и генерация кода (формирование и выдача эквивалентную программу в некоторых изучаемого языка; часто в набор инструкций процессора).

Системы времени выполнения

Под системами выполнения понимается разработка сред выполнения языка программирования и их компонентов. Включая виртуальные машины, сборку мусораи внешние функциональные интерфейсы.

Журналы. Публикации и конференции

Конференции являются основным местом проведения исследований в области языков программирования. Самые известные конференциях включают симпозиум по принципам языков программирования (POPL), язык программирования разработка и реализация (PLDI), на международной конференции по функциональному программированию (ICFP), на международной конференции по объектно-ориентированного программирования, систем. Языков и приложений (конференции oopsla) и на международной конференции по архитектурной поддержке языков программирования и операционных систем (ASPLOS).

Известные журналы. Публикующие исследования PLT. Включают ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional Programming (JFP), Journal of Functional and Logic Programming, а также Higher-Order and Symbolical Computation.

См. также

Дальнейшее чтение

Внешние ссылки