# Krótki opis
W ramach seminarium omówione zostaną klasyczne techniki i rozwiązania stosowane w kompilatorach języków funkcyjnych takich jak Scheme, SML, Ocaml i Haskell, jak również nowe podejścia do implementacji języków funkcyjnych (w tym te wykorzystujące LLVM, a także oparte na związkach z systemami logicznymi, w szczególności z rachunkiem sekwentów). Wśród omawianych tematów znajdą się:
* interpretery i maszyny abstrakcyjne,
* kompilacja przez transformacje programów,
* analiza statyczna i optymalizacja programów,
* języki pośrednie i generowanie kodu pośredniego.
Seminarium można uważać za rozszerzenie przedmiotu _Konstrukcja kompilatorów_.
