Podstawy kompilatorów: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 56: | Linia 56: | ||
== Moduły == | == Moduły == | ||
* [[pok-1-wyk-toc|Wykład 1: Podstawy kompilatorów. Wprowadzenie do przedmiotu]] ([http:// | * [[pok-1-wyk-toc|Wykład 1: Podstawy kompilatorów. Wprowadzenie do przedmiotu]] ([http://osilek.mimuw.edu.pl/external/pok/pok-1-wyk/player.html Flash], [[media:pok-1-wyk.pdf|PDF]], [[media:pok-1-wyk-kolor.pdf|PDF kolor]]),[[media:pok-1-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-2-wyk-toc|Wykład 2: Podstawy kompilatorów. Analiza leksykalna]] ([http:// | * [[pok-2-wyk-toc|Wykład 2: Podstawy kompilatorów. Analiza leksykalna]] ([http://osilek.mimuw.edu.pl/external/pok/pok-2-wyk/player.html Flash], [[media:pok-2-wyk.pdf|PDF]], [[media:pok-2-wyk-kolor.pdf|PDF kolor]]),[[media:pok-2-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-3-wyk-toc|Wykład 3: Podstawy kompilatorów. Implementacja analizatorów leksykalnych]] ([http:// | * [[pok-3-wyk-toc|Wykład 3: Podstawy kompilatorów. Implementacja analizatorów leksykalnych]] ([http://osilek.mimuw.edu.pl/external/pok/pok-3-wyk/player.html Flash], [[media:pok-3-wyk.pdf|PDF]], [[media:pok-3-wyk-kolor.pdf|PDF kolor]]),[[media:pok-3-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-4-wyk-toc|Wykład 4: Podstawy kompilatorów. Wstęp do analizy składniowej]] ([http:// | * [[pok-4-wyk-toc|Wykład 4: Podstawy kompilatorów. Wstęp do analizy składniowej]] ([http://osilek.mimuw.edu.pl/external/pok/pok-4-wyk/player.html Flash], [[media:pok-4-wyk.pdf|PDF]], [[media:pok-4-wyk-kolor.pdf|PDF kolor]]),[[media:pok-4-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-5-wyk-toc|Wykład 5: Podstawy kompilatorów. Analiza metodą zstępującą]] ([http:// | * [[pok-5-wyk-toc|Wykład 5: Podstawy kompilatorów. Analiza metodą zstępującą]] ([http://osilek.mimuw.edu.pl/external/pok/pok-5-wyk/player.html Flash], [[media:pok-5-wyk.pdf|PDF]], [[media:pok-5-wyk-kolor.pdf|PDF kolor]]),[[media:pok-5-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-6-wyk-toc|Wykład 6: Podstawy kompilatorów. Generowanie analizatorów działających metodą zstępującą]] ([http:// | * [[pok-6-wyk-toc|Wykład 6: Podstawy kompilatorów. Generowanie analizatorów działających metodą zstępującą]] ([http://osilek.mimuw.edu.pl/external/pok/pok-6-wyk/player.html Flash], [[media:pok-6-wyk.pdf|PDF]], [[media:pok-6-wyk-kolor.pdf|PDF kolor]]),[[media:pok-6-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-7-wyk-toc|Wykład 7: Podstawy kompilatorów. Translacja sterowana składnią w metodzie zstępującej]] ([http:// | * [[pok-7-wyk-toc|Wykład 7: Podstawy kompilatorów. Translacja sterowana składnią w metodzie zstępującej]] ([http://osilek.mimuw.edu.pl/external/pok/pok-7-wyk/player.html Flash], [[media:pok-7-wyk.pdf|PDF]], [[media:pok-7-wyk-kolor.pdf|PDF kolor]]),[[media:pok-7-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-8-wyk-toc|Wykład 8: Podstawy kompilatorów. Analiza metodą wstępującą]] ([http:// | * [[pok-8-wyk-toc|Wykład 8: Podstawy kompilatorów. Analiza metodą wstępującą]] ([http://osilek.mimuw.edu.pl/external/pok/pok-8-wyk/player.html Flash], [[media:pok-8-wyk.pdf|PDF]], [[media:pok-8-wyk-kolor.pdf|PDF kolor]]),[[media:pok-8-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-9-wyk-toc|Wykład 9: Podstawy kompilatorów. Podstawy generaratora YACC]] ([http:// | * [[pok-9-wyk-toc|Wykład 9: Podstawy kompilatorów. Podstawy generaratora YACC]] ([http://osilek.mimuw.edu.pl/external/pok/pok-9-wyk/player.html Flash], [[media:pok-9-wyk.pdf|PDF]], [[media:pok-9-wyk-kolor.pdf|PDF kolor]]),[[media:pok-9-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-10-wyk-toc|Wykład 10: Podstawy kompilatorów. Translacja sterowana składnią w generatorze YACC]] ([http:// | * [[pok-10-wyk-toc|Wykład 10: Podstawy kompilatorów. Translacja sterowana składnią w generatorze YACC]] ([http://osilek.mimuw.edu.pl/external/pok/pok-10-wyk/player.html Flash], [[media:pok-10-wyk.pdf|PDF]], [[media:pok-10-wyk-kolor.pdf|PDF kolor]]),[[media:pok-10-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-11-wyk-toc|Wykład 11: Podstawy kompilatorów. Generator YACC : gramatyki niejednoznaczne]] ([http:// | * [[pok-11-wyk-toc|Wykład 11: Podstawy kompilatorów. Generator YACC : gramatyki niejednoznaczne]] ([http://osilek.mimuw.edu.pl/external/pok/pok-11-wyk/player.html Flash], [[media:pok-11-wyk.pdf|PDF]], [[media:pok-11-wyk-kolor.pdf|PDF kolor]]),[[media:pok-11-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-12-wyk-toc|Wykład 12: Podstawy kompilatorów. Analiza zależności kontekstowych]] ([http:// | * [[pok-12-wyk-toc|Wykład 12: Podstawy kompilatorów. Analiza zależności kontekstowych]] ([http://osilek.mimuw.edu.pl/external/pok/pok-12-wyk/player.html Flash], [[media:pok-12-wyk.pdf|PDF]], [[media:pok-12-wyk-kolor.pdf|PDF kolor]]),[[media:pok-12-lab.pdf| Laboratorium (PDF)]] | ||
* [[pok-13-wyk-toc|Wykład 13: Podstawy kompilatorów. Synteza kodu i środowisko czasu wykonania]] ([http:// | * [[pok-13-wyk-toc|Wykład 13: Podstawy kompilatorów. Synteza kodu i środowisko czasu wykonania]] ([http://osilek.mimuw.edu.pl/external/pok/pok-13-wyk/player.html Flash], [[media:pok-13-wyk.pdf|PDF]], [[media:pok-13-wyk-kolor.pdf|PDF kolor]]),[[media:pok-13-lab.pdf| Laboratorium (PDF)]] | ||
Wersja z 18:42, 30 sie 2006
Forma zajęć
Wykład (30 godzin) + laboratorium (30 godzin)
Opis
Celem przedmiotu jest przedstawienie zasad i technik budowy kompilatorów. W ramach przedmiotu przedstawione zostaną zasady ich implementacji zarówno z wykorzystaniem specjalizowanych narzędzi takich jak LEX i YACC jak i z wykorzystaniem uniwersalnych języków programowania wysokiego poziomu, takich jak język C. Omówione zostaną poszczególne fazy kompilacji poczynając od analizy leksykalnej, poprzez analizę składniową, semantyczną, generację kodu pośredniego i wynikowego po optymalizację kodu. Przedstawione zostaną także zagadnienia dotyczące budowy środowiska wykonawczego.
Przedmiot "Podstawy kompilatorów" koncentruje się omówieniu etapu analizy kodu i przedstawieniu narzędzi wykorzystywanych w tworzeniu kompilatorów. Pozostałe zagadnienia omówione są szerzej w ramach przedmiotu "Metody realizacji języków programowania".
Sylabus
Autorzy
- Bartosz Bogacki
- Wojciech Complak
Wymagania wstępne
- Umiejętność konstruowania algorytmów iteracyjnych i rekurencyjnych
- Umiejętność programowania w imperatywnych językach wysokiego poziomu
- Podstawowa znajomość architektury procesora i języka asemblera
Zawartość
- Model kompilatora
- etapy i fazy kompilacji
- Analiza leksykalna
- podstawowe pojęcia
- języki i wyrażenia regularne
- niedeterministyczne i deterministyczne automaty skończone
- implementacja analizatorów leksykalnych w języku C i za pomocą generatora LEX
- Analiza składniowa
- podstawowe pojęcia
- gramatyki bezkontekstowe
- analiza metodą zstępującą i wstępującą
- implementacja analizatorów składniowych działających metodą zstępującą w języku C i za pomocą generatora LLgen
- implementacja analizatorów składniowych działających metodą wstępującą za pomocą generatora YACC
- translacja sterowana składnią w metodzie zstępującej i wstępującej
- gramatyki niejednoznaczne
- Analiza zależności kontekstowych
- typy zależności kontekstowych
- implementacja kontrolera typów
- Synteza kodu i środowisko czasu wykonania
- generacja kodu pośredniego
- optymalizacja kodu
- generacja kodu wynikowego
- dostęp do nazw nielokalnych
- dynamiczny przydział pamięci
- przekazywanie parametrów
Literatura
- Aho A. V., Sethi R., Ullman J. D., Kompilatory Reguły, metody i narzędzia, WNT 2002
- Foryś M., Foryś W., Teoria automatów i języków formalnych, Akademicka Oficyna Wydawnicza Exit 2005
- Tremblay J. P., Sorenson P. G., The Theory and Practice of Compiler Writing, McGraw-Hill, 1985
- Waite W. M., Goos G., Konstrukcja kompilatorów, WNT 1989
- Wilhelm R., Maurer D., Compiler Design, Addison-Wesley 1995
Moduły
- Wykład 1: Podstawy kompilatorów. Wprowadzenie do przedmiotu (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 2: Podstawy kompilatorów. Analiza leksykalna (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 3: Podstawy kompilatorów. Implementacja analizatorów leksykalnych (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 4: Podstawy kompilatorów. Wstęp do analizy składniowej (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 5: Podstawy kompilatorów. Analiza metodą zstępującą (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 6: Podstawy kompilatorów. Generowanie analizatorów działających metodą zstępującą (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 7: Podstawy kompilatorów. Translacja sterowana składnią w metodzie zstępującej (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 8: Podstawy kompilatorów. Analiza metodą wstępującą (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 9: Podstawy kompilatorów. Podstawy generaratora YACC (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 10: Podstawy kompilatorów. Translacja sterowana składnią w generatorze YACC (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 11: Podstawy kompilatorów. Generator YACC : gramatyki niejednoznaczne (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 12: Podstawy kompilatorów. Analiza zależności kontekstowych (Flash, PDF, PDF kolor), Laboratorium (PDF)
- Wykład 13: Podstawy kompilatorów. Synteza kodu i środowisko czasu wykonania (Flash, PDF, PDF kolor), Laboratorium (PDF)
