Содержание

Содержание Содержание 2 1. Введение 3 1.1. Глоссарий 3 1.2. Описание предметной области 3 Обобщённое программирование 3 Поддержка ОП современными языками 3 Компилятор FreePascal 4 1.3. Неформальная постановка задачи 4 1.4 Обзор существующих методов решения 4 1.6 План работ 4 2. Требования к окружению 5 3.Архитектура системы 5 4. Спецификация данных 6 5. Функциональные требования 6 6. Требования к интерфейсу 7 7. Проект 7 7.1 Модули и алгоритмы 7 Лексический анализатор 7 Синтаксический анализатор 8

Введение

1. Введение 1.1. Глоссарий Обобщённое программирование (ОП) — это парадигма программирования, заклю-чающаяся в написании алгоритмов, которые можно применять к различным типам данных. В том или ином виде поддерживается разными языками программирования. Возможности обобщённого программирования впервые появились в 70-х годах в языках CLU и Ada, а затем во многих объектно-ориентированных языках, таких как C++, Java, D и языках для платформы .NET.[7] Компилятор — транслятор, который осуществляет перевод всей исходной програм-мы в эквивалентную ей результирующую программу на языке машинных команд или на языке ассемблера. Другой разновидностью трансляторов являются интерпретаторы, осу-ществляющие анализ и перевод текста программы в машинный код пошагово, непосредст-венно перед выполнением, и сразу же исполняющие получившийся машинный код.[1] Шаблон (параметризованный тип) – тип данных, имеющий в качестве параметров другие типы данных.[1] Специализация шаблона – тип данных, полученный из шаблона путём подстановки в качестве параметров конкретных типов[1]. Токен – терминальный символ грамматики исходного языка[1]. 1.2. Описание предметной области Обобщённое программирование С развитием программирования стало появляться много типонезависимых алгорит-мов, начиная с различных способов хранения, сортировки и поиска, доступа к данным, до таких сложных, как различные рефакторинги. Вследствие этого появилась парадигма про-граммирования под названием «обобщённое программирование». В общих словах его суть такова, что можно определить отдельные типы данных, инкапсулирующие в себе опера-ции, затем создавать экземпляры типов для проведения операций с конкретными типами данных. Такие типы называют шаблонами(templates, generics), или параметризованными типами. Для соответствия тенденциям развития программирования современные ЯП и их компиляторы должны в той или иной мере содержать аппараты ОП. Сейчас это делается через механизм шаблонов или слабую типизацию. Слабая типизация в данной работе рас-сматриваться не будет , так как ЯП Паскаль не является слабо типизированным языком. Поддержка ОП современными языками Из рассматриваемых языков поддержку механизма шаблонов обеспечивают C++, Java, C# 2.0 (и др. .NET 2.0 совместимые языки). Их трансляторы представляют пример трёх радикально различающихся моделей реализации ОП. Модель, реализованная в C++, фактически представляет собой макрос глобального уровня(см. [6]). На шаблоны наклады-ваются наименьшие ограничения из всех рассматриваемых языков. Их специализации имеют наибольшую производительность. Транслятором Java реализована модель обёртки над типом- параметром. Это было сделано, чтобы не изменять код JVM. Ограничения здесь больше, но производительность значительно меньше из-за операций упаковки-распаковки(boxing) В .NET 2.0 языках код шаблона компилируется в IL как код любого другого типа, а механизмы создания специализаций поддерживаются самой платфор-мой(см. [3,4]). Трансляторы ЯП Паскаль не поддерживают механизма шаблонов. В новой версии Borland Delphi .NET будет поддержка .NET generics. Компилятор FreePascal Данный компилятор является свободно распространяемым компилятором ЯП Пас-каль с открытым исходным кодом. Он разрабатывается на Open Source началах. На данном этапе развития поддерживает несколько операционных систем и архитектур процессоров и совместим с Delphi. Инструмент шаблонов станет отличным дополнением, необходимым как для развития языка, так и для развития компилятора. 1.3. Неформальная постановка задачи Таким образом, необходимо на основе существующих решений разработать и реали-зовать модель поддержки ОП, обеспечивающую производительность компилируемых язы-ков, и соответствующую стилю ЯП Паскаль 1.4 Обзор существующих методов решения На момент написания работы не существует компиляторов ЯП Паскаль, реализую-щих поддержку ОП. Поэтому можно привести более подробное сравнение

Литература

Список литературы 1. Ахо Альфред В., Сети Рави, Ульман Джеффри Д. Компиляторы: принципы, технологии и инструменты. : Пер. с англ. – М. : Издательский дом «Вильямс», 2003. 2. MSDN Library. http://msdn.microsoft.com. 3. Golding T. Professional .NET 2.0 Generics. Wiley Publishing, 2005. ISBN-10: 0-7645-5988-5 4. Официальный сайт компилятора FreePascal. http://www.freepascal.org. 5. Lidin, S. Expert .NET 2.0. IL Assembler. ISBN-10: 1-59059-646-3 6. Е.А.Зуев Принципы и методы создания компилятора переднего плана Стандарта Си++ Диссертация на соискание ученой степени кандидата физико-математических наук. Москва, октябрь 1999 7. Wikipedia, the free encyclopedia.