Metody realizacji języków programowania: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Salwicki (dyskusja | edycje)
269 edycji
Diks (dyskusja | edycje)
538 edycji
 
(Nie pokazano 59 wersji utworzonych przez 5 użytkowników)
Linia 1: Linia 1:
== Forma zajęć ==
Wykład (30 godzin) + laboratorium (30 godzin)
== Opis ==
== Opis ==


Celem tych zajęć jest przedstawienie najważniejszych algorytmów i struktur danych służących kompilacji i wykonywaniu skompilowanych programów. Omówione zostaną: maszyna wirtualna czyli środowisko wykonywania programów, tablica symboli, sposoby analizy składniowej: parsery LL(1) i LR(1), algorytmy syntezy kodu wynikowego.
Celem tych zajęć jest przedstawienie najważniejszych algorytmów i struktur danych służących kompilacji i wykonywaniu skompilowanych programów. Omówione zostaną: maszyna wirtualna, czyli środowisko wykonywania programów, tablica symboli, algorytmy syntezy kodu wynikowego oraz niektóre zaawansowane zagadnienia kompilacji.


== Sylabus ==
== Sylabus ==


=== Autor  ===


''Autor sylabusa''
* Andrzej Salwicki


prof. dr hab. Andrzej Salwicki
=== Wymagania wstępne ===
salwicki@mimuw.edu.pl


''Nazwa zajęć'':
* Programowanie obiektowe


Metody Realizacji Języków Programowania
* Języki, automaty i obliczenia


''Typ zajęć'':
* Podstawy kompilatorów


wykład (30 godz.) + ćwiczenia (30 godz.)
=== Zawartość ===


''Opis'':
* Tablica symboli — dla języka typu Java tablica symboli to poważne wyzwanie.
* Statyczna analiza semantyczna.
* Maszyna wirtualna.
* Generowanie kodu pośredniego. Sprowadzanie go do postaci SSA.
* Optymalizacja kodu pośredniego.
* Zarządzanie pamięcią . Odśmiecanie.
* Realizacja obsługi wyjątków/ sygnałów.
* Kompilacja języków programowania funkcyjnego.
* Realizacja obiektów aktywnych (wątków, procesów) w języku z procesami współbieżnymi i rozproszonymi.


Celem wykładu jest przedstawienie najważniejszych algorytmów i struktur danych służących kompilacji i wykonywaniu skompilowanych programów. Omówione zostaną: maszyna wirtualna czyli środowisko wykonywania programów, tablica symboli, sposoby analizy składniowej: parsery LL(1) i LR(1), algorytmy syntezy kodu wynikowego.
=== Literatura ===


''Wymagania wstępne'':
* A. Aho, R. Sethi, J. Ullman, ''Kompilatory'', Wydawnictwa Naukowo-Techniczne, Warszawa 2001.


Programowanie obiektowe
* W. Waite, G. Goos, ''Konstrukcja kompilatorów'', Wydawnictwa Naukowo-Techniczne, Warszawa 1989
Języki, automaty i obliczenia


''Sylabus'':
* D. Gries, ''Konstrukcja translatorów dla maszyn cyfrowych'', Wydawnictwa Naukowo-Techniczne, Warszawa 1984


Kompilator i maszyna wirtualna z lotu ptaka
== Moduły ==
Analiza leksykalna. Analiza składniowa zstępująca i wstępująca
Tablica symboli. Statyczna analiza semantyczna
Środowisko czasu wykonania: rekordy aktywacji i obiekty.
Kompilacja sterowana składnią. Reguły semantyczne.
Kod pośredni. Postać SSA kodu pośredniego
Optymalizacja kodu
Zarządzanie pamięcią – tworzenie jednostek dynamicznych i odśmiecanie
Obsługa systuacji wyjątkowych i zarządzanie wątkami w procesach współbieżnych i rozproszonych
 
''Literatura'':


A. Aho, R. Sethi, J. Ullman. Kompilatory. WNT, 2001.
Poniższe materiały przygotowuje dla Ciebie zespól w składzie: Marcin Benke, Marek Biskup, Paweł Górecki, Marcin Kowalczyk, Andrzej Salwicki, Łukasz Sznuk, Marek Warpechowski, Artur Zaroda.  
W. Waite, G. Goos, Konstrukcja kompilatorów, WNT, 1989
D. Gries Konstrukcja translatorów dla maszyn cyfrowych ,WNT, 1984
Internet


----
# [[Metody realizacji języków programowania/MRJP Wykład 1| Wstęp]]
# [[Metody realizacji języków programowania/MRJP Wykład 2| Tablica symboli]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 2|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 3| Statyczna analiza semantyczna ]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 3|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 4| Maszyna wirtualna I]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 4|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 5| Maszyna wirtualna II ]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 5|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 6| Generowanie kodu pośredniego]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 6|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 7| Sprowadzanie kodu do postaci SSA]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 7|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 8| Optymalizacja kodu pośredniego w postaci SSA]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 8|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 9| Zarządzanie pamięcią. Odśmiecanie ]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 9|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 10| Realizacja obsługi sygnałów/wyjątków]]
# [[Metody realizacji języków programowania/MRJP Wykład 11|Optymalizacja II]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 11|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 12| Kompilacja języków programowania funkcyjnego ]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 12|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Wykład 13| Realizacja obiektów aktywnych (wątków, procesów) w jezyku z procesami współbieżnymi i rozproszonymi]] ([[Metody realizacji języków programowania/MRJP Ćwiczenia 13|Ćwiczenia]])
# [[Metody realizacji języków programowania/MRJP Laboratorium| Laboratorium]]


== MRJP wprowadza definicje ==


# analiza kodu źródłowego
# analiza leksykalna
# analiza składniowa
# analiza poprawności typów (statyczna analiza semantyczna)
# synteza
# generowanie kodu pośredniego
# optymalizacja kodu
# generowanie kodu wynikowego
# środowisko czasu wykonania (maszyna wirtualna)
# zarządzanie pamięcią
# odśmiecanie
== Moduły ==


# [[MRJP Wykład 1|Kompilator z lotu ptaka. Analiza leksykalna]] ([[MRJP Ćwiczenia 1|Ćwiczenia]])
* [[ Metody realizacji języków programowania/MRJP Przykładowy zestaw zadań egzaminacyjnych]]
# [[MRJP Wykład 2|Analiza składniowa zstępująca]] ([[MRJP Ćwiczenia 2|Ćwiczenia]])
# [[MRJP Wykład 3|Analiza składniowa wstępująca I]] ([[MRJP Ćwiczenia 3|Ćwiczenia]])
# [[MRJP Wykład 4|Analiza składniowa wstępująca II]] ([[MRJP Ćwiczenia 4|Ćwiczenia]])
# [[MRJP Wykład 5|Tablica Symboli]] ([[MRJP Ćwiczenia 5|Ćwiczenia]])
# [[MRJP Wykład 6|Statyczna analiza semantyczna]] ([[MRJP Ćwiczenia 6|Ćwiczenia]])
# [[MRJP Wykład 7|Maszyna wirtualna]] ([[MRJP Ćwiczenia 7|Ćwiczenia]])
# [[MRJP Wykład 8|Generowanie kodu pośredniego]] ([[MRJP Ćwiczenia 8|Ćwiczenia]])
# [[MRJP Wykład 9|Temat]] ([[MRJP Ćwiczenia 9|Ćwiczenia]])
# [[MRJP Wykład 10|Temat]] ([[MRJP Ćwiczenia 10|Ćwiczenia]])
# [[MRJP Wykład 11|Temat]] ([[MRJP Ćwiczenia 11|Ćwiczenia]])
# [[MRJP Wykład 12|Temat]] ([[MRJP Ćwiczenia 12|Ćwiczenia]])
# [[MN Wykład 13|Temat]] ([[MN Ćwiczenia 13|Ćwiczenia]])
# [[MN Wykład 14|Temat]] ([[MN Ćwiczenia 13|Ćwiczenia]])
# [[MN Wykład 15|Temat]] ([[MN Ćwiczenia 13|Ćwiczenia]])

Aktualna wersja na dzień 08:27, 20 paź 2006

Forma zajęć

Wykład (30 godzin) + laboratorium (30 godzin)

Opis

Celem tych zajęć jest przedstawienie najważniejszych algorytmów i struktur danych służących kompilacji i wykonywaniu skompilowanych programów. Omówione zostaną: maszyna wirtualna, czyli środowisko wykonywania programów, tablica symboli, algorytmy syntezy kodu wynikowego oraz niektóre zaawansowane zagadnienia kompilacji.

Sylabus

Autor

  • Andrzej Salwicki

Wymagania wstępne

  • Programowanie obiektowe
  • Języki, automaty i obliczenia
  • Podstawy kompilatorów

Zawartość

  • Tablica symboli — dla języka typu Java tablica symboli to poważne wyzwanie.
  • Statyczna analiza semantyczna.
  • Maszyna wirtualna.
  • Generowanie kodu pośredniego. Sprowadzanie go do postaci SSA.
  • Optymalizacja kodu pośredniego.
  • Zarządzanie pamięcią . Odśmiecanie.
  • Realizacja obsługi wyjątków/ sygnałów.
  • Kompilacja języków programowania funkcyjnego.
  • Realizacja obiektów aktywnych (wątków, procesów) w języku z procesami współbieżnymi i rozproszonymi.

Literatura

  • A. Aho, R. Sethi, J. Ullman, Kompilatory, Wydawnictwa Naukowo-Techniczne, Warszawa 2001.
  • W. Waite, G. Goos, Konstrukcja kompilatorów, Wydawnictwa Naukowo-Techniczne, Warszawa 1989
  • D. Gries, Konstrukcja translatorów dla maszyn cyfrowych, Wydawnictwa Naukowo-Techniczne, Warszawa 1984

Moduły

Poniższe materiały przygotowuje dla Ciebie zespól w składzie: Marcin Benke, Marek Biskup, Paweł Górecki, Marcin Kowalczyk, Andrzej Salwicki, Łukasz Sznuk, Marek Warpechowski, Artur Zaroda.

  1. Wstęp
  2. Tablica symboli (Ćwiczenia)
  3. Statyczna analiza semantyczna (Ćwiczenia)
  4. Maszyna wirtualna I (Ćwiczenia)
  5. Maszyna wirtualna II (Ćwiczenia)
  6. Generowanie kodu pośredniego (Ćwiczenia)
  7. Sprowadzanie kodu do postaci SSA (Ćwiczenia)
  8. Optymalizacja kodu pośredniego w postaci SSA (Ćwiczenia)
  9. Zarządzanie pamięcią. Odśmiecanie (Ćwiczenia)
  10. Realizacja obsługi sygnałów/wyjątków
  11. Optymalizacja II (Ćwiczenia)
  12. Kompilacja języków programowania funkcyjnego (Ćwiczenia)
  13. Realizacja obiektów aktywnych (wątków, procesów) w jezyku z procesami współbieżnymi i rozproszonymi (Ćwiczenia)
  14. Laboratorium


Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Metody_realizacji_języków_programowania&oldid=64385”