Překladače

Informace o předmětu (sylabus, výuka, hodnocení)

Osnova
  • Analýza požadavků a cílů překladu, struktura kompilátoru.
  • Úkoly a struktura lexikálního analyzátoru, rozhraní.
  • Syntaktická analýza. Implementace a rozhraní.
  • Překladové a atributové gramatiky (AG); popis sémantiky pomocí AG.
  • Sémantická analýza. Úkoly a implementace. Analýza jmen a rozsahů, typová analýza.
  • Organizace a přidělování paměti; zásobník, halda.
  • Jednoprůchodový versus víceprůchodový kompilátor. Formy mezikódu a jeho generování.
  • Techniky generování kódu.
  • Zotavení z chyb.
  • Lokální optimalizace, analýzy toků (řízení, dat) a globální optimalizace.
  • Systémy a nástroje pro psaní kompilátorů.


Literatura
  • AHO, Alfred V et al. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, 2017. xxiv, 1009. ISBN 0321486811,
  • uvedeny text dostupny jako pdf napr na https://www.pdfdrive.com/compilers-principles-techniques-tools-d158432002.html,  
  •  
  • AHO, Alfred V., Ravi SETHI a Jeffrey D. ULLMAN. Compilers, principles, techniques, and tools. Reading: Addison-Wesley Publishing Company, 1987. x, 796 s. ISBN 0-201-10088-6. info
  • APPEL, Andrew W. Modern compiler implementation in Java. Cambridge: Cambridge University Press, 1998. x, 548. ISBN 0521583888. info
  • COOPER, Keith D. a Linda TORCZON. Engineering a compiler. Second Edition.San Francisco: Morgan Kaufmann Publishers, 2012. ISBN 978-0-12-088478-0.  Uvedeny text je dostupny jako pdf napr. na http://www.r-5.org/files/books/computers/compilers/writing/Keith_Cooper_Linda_Torczon-Engineering_a_Compiler-EN.pdf
  • COOPER, Keith D. a Linda TORCZON. Engineering a compiler. San Francisco: Morgan Kaufmann Publishers, 2004. xxx, 801. ISBN 155860698X. info
  • GRUNE, Dick. Modern compiler design. Chichester: John Wiley & Sons, 2000. xviii, 736. ISBN 0471976970. info
  • další doplňková literatura - vizte sekce Učební materiály
    M.Češka a kol.: Překladače
    dále referencováno jako "skripta"
    Organizace pameti pro O-O jazyky
    analyza_toku_dat.pdf
    zakladni klasicke metody generovani kodu

Výuka - přednášky
Přednášky se konají prezenčně dle rozvrhu.
Ke shlédnutí jsou též příslušné záznamy přednášek přízených v době distanční výuky v semestru Podzim 2020 a dále bude doporučena literatura ke studiu relevantní tématickému bloku.

Hodnocení předmětu

  • Ve zkouškovém studenti skládají závěrečnou písemnou zkoušku, za kterou lze získat maximálně 150 bodů. 
  • Hodnocení se určí na základě počtu bodů dle ttéto tabulky:


    počet bodůhodnocení
    130 a víceA
    alespoň 118 a méně než 130
    		B
    alespoň 106 a méně než 118
    		C
    alespoň 94 a méně než 106
    		D
    alespoň 82 a méně než 94
    		E
    F





Předchozí
Následující