2019/2020 - Методи на транслация (Информатика)

Анотация

Обсъждат се теоретичните аспекти на методите за транслация на езици за програмиране от високо ниво, архитектурата и организацията на работа на транслаторите, както и техники за реализацията им. Като курсов проект се разработва компилатор, превеждащ минимално подмножество на език от високо ниво в термините на език-мнемокод (Assembler, Java Bytecode, .NET IL и др.). Придобитите знания и умения са полезни при разработката на подобни реални системи, при по-доброто използването на такива системи в практиката, както и за по-дълбокото разбиране на езиците за програмиране и някои аспекти на тяхната ефективност.

КОНСПЕКТ

Изисквания към проекта

Всеки студент трябва да разработи проект по Методи на транслация. Проекта трябва да представлява транслатор (компилатор) преобразуващ програми на език от високо ниво (SimpleC или SimpleP) до език от ниско ниво (машинен език или асемблер за платформите базирани на x86, .Net IL или Java ByteCode). Синтаксиса на възможните входни езици е даден в помощните материали за курса.

Вие можете да:

  • използвате произволен език за програмиране;
  • използвате произволна среда за разработка;
  • използвате произволна операционната система;
  • използвате произволен метод на синтактичен разбор;
  • използвате произволен метод за генерация на код;
  • реализирате компилатора като конзолно, графично, WEB или друго приложение;
  • работите в групи от двама човека (на изпита всеки решава самостоятелно задачата);
  • използвате стартовия проект scsc (даден е в помощните материали), като основа за създаване на собствен проект;
  • обсъждате проблема, изискванията и материалите с всеки;

Вие НЕ можете да:

  • използвате проекти (или части от тях) създадени от други лица за целите на този курс, включително създадени в предишни учебни години;
  • използвате проекти (или части от тях) създадени от други лица за сходни цели;
  • използвате код, който не сте реализирали собственоръчно (с изключение на код от стартовия проект);
  • използвате компилатори/генератори на компилатори;

Критерии за оценяване

В зависимост от сложноста на избраната от вас граматика на език и в зависимост от степента на завършеност на реализацията, вие получавате точки както следва:

  1. Simple-C-1 или Simple-P-1 (лексикален, синтактичен и генерация): (10-15 точки);
  2. Simple-C-3 или Simple-P-3 (лексикален, синтактичен и част. ген.): (15-25 точки);
  3. Simple-C-3 или Simple-P-3 (лексикален, синтактичен и генерация): (25-35 точки);
  4. Simple-C-5 или Simple-P-5 (лексикален, синтактичен и част. ген.): (25-35 точки);
  5. Simple-C-5 или Simple-P-5 (лексикален, синтактичен и генерация): (40 точки);
  6. За допълнителни конструкции в езика или възможности на компилатора: (0-10 бонус точки);
  7. За тестови примери за езиците Simple-C#, Simple-C, Simple-P: (0-20 бонус точки).

Оценката на проект се формира по формулата: (20 + Брой точки)/10. Закръглява се до цяла оценка (по общоприетите правила). Оценката се получава на практическата част от изпита при решена задача и при представен проект. Задачата се състои в промяна на разработения проект в определена насока (например добавяне на нова синтактична конструкция в езика и др.). Всеки който получи 3.00 или повече на практическата част има право да се яви на теоретичната част на изпита (тест носещ общо до 40 точки). Оценката от теория се формира по същата формула, както тази от практическата част. Крайната оценка от изпита се формира като средно аритметично от двете оценки (практическа и от теория). Ако една от оценките е слаб, то студента трябва да се явяви на поправка.

Работа през семестъра и предаване на проекта

Всеки судент е длъжен да работи по проекта си през семестъра. Работата задължително става с използването на SVN сървъра на ФМИ (повече информация за достъпа и начина на използването на тази система за контрол на версиите вижте сайта на сървъра тук). Всеки студент ще получи име и парола за достъп до своето SVN хранилище (repository) на първото упражнение.

Когато по един проект се работи от двама души, то те трябва да използват хранилището на единия, като другия бива присъединен с право за достъп, чрез интерфейса на SVN сървъра описан по-горе.

Очаква се в хранилището да бъдат качени всички съществени промени от началото на развитие на проекта до окончателното му завършване. Всеки решава дали да изпраща промените (commit) си в сървъра по-често или по-рядко, но задължително по всеки проект трябва да има поне 4 commit-а в течение на семестъра: В началото при съзадване на празен проект (или съответния стартов проект от помощните материали, ако такъв ще бъде използван), през 5-та седмица на триместъра, през 8-ма седмица и 10-та седмица. Състоянието на проекта в тези версии може да окаже влияние върху общия брой на точките, които ще получите. От 10-та седмица до изпита всеки може да продължи работата си по проекта и съответно да продължава да качва промени в хранилището.

Очаква се проекта да се намира в подпапка trunk/MTProject на SVN хранилището. Той трябва да е във вид готов за сваляне и компилация. Проекти не отговарящи на това изискване няма да бъдат проверявани и оценявани.

На изпита всеки ще използва последното състояние на работното копие, като след решение на задачата трябва да я качи като нова версия в хранилището.

Проектите подлежат и ще бъдат проверявани автоматично и ръчно. Автоматичната проверка включва (но не се ограничава само до) използване на системи за автоматизирана проверка за плагиатство (т.е. преписване от ваши колеги и/или от чужди проекти в Интернет). Ръчната проверка представлява преглед и експерементиране с проекта от страна на преподавател. При установяване на плагиатство или съмнение за такова точките на съответните студенти ще бъдат драстично намалени (пропорционално на процента на "взаимстваните" части от код), в допълнение на това ще бъде публикуван списък с провинилите се студенти, както и ще се вземат всички други мерки в съответствие с Регламента за реакция при нечестни прояви.

Литература

  • A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools (Second Edition), Addison-Wesley, 2007, 1009 pages, ISBN 0-321-48681-1;
  • Niklaus Wirth, Compiler construction, Addison-Wesley, 1996, 176 pages, ISBN 0-201-40353-6;
  • A.A.Puntambekar, Compiler Construction, Technical Publications, 2009, 572 pages, ISBN 8-184-31717-4;
  • Д. Грис, Конструирование компиляторов для ЦВМ, Москва, МИР, 1975 г., 544 стр;
  • http://llvm.org
  • и други.

Помощни материали

ПрегледAttachmentРазмер
konspekt-mt-2019.pdf87.79 KB
mt-in-2019-2020.zip8.42 KB
mt-scsc-2019-2020.zip208.25 KB
1.mt-vvedenie.pdf524.91 KB
e1.mt-iziskvaniya.pdf145.4 KB
2.mt-vim._ezik._metaezik.pdf214.16 KB