PA008 Překladače
Fakulta informatikyjaro 2025
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučováno kontaktně - Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 30 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
Výuka probíhá každý týden.
PA008 Překladače
Fakulta informatikyjaro 2024
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 10:00–12:50 B411
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 53 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2022
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Libor Caha, PhD. (pomocník) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 10:00–12:50 B411
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 53 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2021
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Libor Caha, PhD. (pomocník) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 16. 9. až Čt 9. 12. Čt 10:00–12:50 B411
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2020
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Libor Caha, PhD. (pomocník) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 10:00–12:50 D3
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2019
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 10:00–12:50 B411
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 52 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2018
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 9:00–11:50 B411
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2017
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 10:00–12:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2016
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 16:00–18:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2015
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 14:00–16:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 23 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2014
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 10:00–12:50 A319
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 22 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2013
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (náhr. zkoušející)
prof. RNDr. Jan Strejček, Ph.D. (náhr. zkoušející) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- St 10:00–12:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 22 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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. 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2012
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Rozvrh
- Čt 15:00–17:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 26 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětli principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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. 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
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2011
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 15:00–17:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 26 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětli principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2010
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 15:00–17:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 25 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětli principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2009
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 14:00–16:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 25 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětli principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2008
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 14:00–17:50 B204
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 18 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- Přednášky doplněné samostaným studiem doporučené literatury. Závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2007
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 13:00–15:50 B410
- Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 18 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2006
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 14:00–16:50 B410
- Předpoklady
- ! P008 Překladače
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 6 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2005
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Po 11:00–13:50 D2
- Předpoklady
- ! P008 Překladače
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 6 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2004
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- St 14:00–16:50 B410
- Předpoklady
- ! P008 Překladače
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006. - Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- předmět má 6 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2003
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- St 14:00–16:50 B204
- Předpoklady
- ! P008 Překladače
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006. - Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- Aplikovaná informatika (program FI, N-AP)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS)
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška bez pomocných materiálů.
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2002
- Rozsah
- 3/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc. - Rozvrh
- Čt 14:00–16:50 A107
- Předpoklady
- ! P008 Překladače
Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006. - Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- předmět má 7 mateřských oborů, zobrazit
- Cíle předmětu
- Cílem je seznámit studenty s principy, metodami a technikami používanými při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Prezentované myšlenky a postupy jsou využitelné i v řadě dalších oblastí informatiky.
- 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. Generování mezikódu.
- Generování kódu.
- Zotavení z chyb.
- Lokální optimalizace, analýzy toků a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- 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
- FISCHER, Charles N. a Richard J. LEBLANC. Crafting a compiler. Menlo Park: Benjamin/Cummings Publishing Company, 1988, 811 s. ISBN 0-8053-3201-4. info
- WILHELM, Reinhard a Dieter MAURER. Compiler design. Wokingham: Addison-Wesley Publishing Company, 1995, xv, 606 s. ISBN 0-201-42290-5. info
- Melichar, Bořivoj. Konstrukce překladačů. 1.a 2. část. Praha : ČVUT, 1999.
- Metody hodnocení
- závěrečná písemná zkouška
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Předmět je vyučován každoročně.
PA008 Překladače
Fakulta informatikypodzim 2023
Předmět se v období podzim 2023 nevypisuje.
- Rozsah
- 3/0/0. 3 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- Vyučující
- prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
Mgr. Libor Caha, PhD. (pomocník) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Mojmír Křetínský, CSc.
Dodavatelské pracoviště: Katedra teorie programování – Fakulta informatiky - Předpoklady
- Předpokládá se znalost odpovídající rozsahu kursu IB005 a metod syntaktické analýzy LL, LR odpovídající 1.třetině kursu IA006.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 53 mateřských oborů, zobrazit
- Cíle předmětu
- Na konci tohoto kurzu bude student schopen porozumět a vysvětlit principy, metody a techniky používané při návrhu a implementaci kompilátorů programovacích jazyků a jim příbuzných systémů založených na analýze vstupního textu a syntéze odpovídajího výstupu. Studenti jsou schopni používat prezentované myšlenky a postupy i v řadě dalších oblastí informatiky.
- Výstupy z učení
- Student bude po absolvování předmětu schopen:
1. Specifikovat a analyzovat lexikální, syntaktické a sémantické rysy překládaného jazyka a separovat je do fází lexikální, syntaktické a sémantické analýzy kompilátoru.
2. Implementovat lexikální, syntaktický a sémantický amnalyzátor jak bez použití SW nástroje, tak i s jeho pomocí.
3. Napsat generátor mezikódu a generátor kódu. Popsat techniky optimalizací mezikódu. - 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ů a globální optimalizace.
- Systémy a nástroje pro psaní kompilátorů.
- Literatura
- AHO, Alfred V. Compilers : principles, techniques, & tools. 2nd ed. Boston: Pearson/Addison Wesley, 2007, xxiv, 1009. ISBN 0321486811. info
- 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
- 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
- Výukové metody
- Přednášky, domácí cvičení, samostudium, diskuse.
- Metody hodnocení
- Závěrečná písemná zkouška bez pomocných materiálů.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/kretinsky/
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
- Statistika zápisu (nejnovější)