Typy programovacích jazyků: procedurální a deklarativní, rozdíly z hlediska sémantiky. Problém formální definice programovacích jazyků. Různé možnosti formální definice sémantiky programovacích jazyků. Axiomatická definice sémantiky: Floyd-Hoarova logika. Denotační definice sématiky: lambda kalkulus. Technologie překladu programovacích jazyků po syntaktické analýze. Řešení kontextovosti programovacích jazyků v syntaxí řízeném bezkontextovém překladači. Typové systémy. Generování cílového kódu. Metody přidělování registrů. Generování cílového kódu pro procesory se zřetězeným zpracováním.

U všech absolventů předmětu se očekává přehled a porozumění základům uvedených témat. Hlubší znalosti se vyžadují u tématu, které zpracovali a prezentovali v eseji. Toto téma zpravidla nějak souvisí se zaměřením disertační práce. Jeho zpracování vyžaduje nastudování knižní publikace nebo kolekce tématicky souvisejících článků z časopisů a konferencí.

Otázky k SDZ:

1. Typy programovacích jazyků: procedurální a deklarativní, rozdíly z hlediska sémantiky.
2. Problém formální definice programovacích jazyků. Různé možnosti formální definice sémantiky programovacích jazyků.
3. Axiomatická definice sémantiky: Floyd-Hoarova logika.
4. Denotační definice sématiky: lambda kalkulus.
5. Technologie překladu programovacích jazyků po syntaktické analýze.
6. Řešení kontextovosti programovacích jazyků v syntaxí řízeném bezkontextovém překladači.
7. Mezijazyky mezi front a backendem překladače.
8. Typové systémy.
9. Generování cílového kódu. Metody přidělování registrů.
10. Generování cílového kódu pro procesory se zřetězeným zpracováním.