Předmět Teorie programovacích jazyků (FIT-TJD)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-TJD - Teorie programovacích jazyků, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Získat znalosti zejména v oblasti zéjména sémantiky a překladu programovacích jazyků. Zaměřit se na možnost formální definice syntaxe a sémantiky programovacích jazyků.
Osnova
Osnova přednášek: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.
Literatura
Peyton Jones S., L.: The Implementation of functional programming languages, Prentice Hall 1986 Sethi R.: Programming Languages Concepts, Addison Wesley 1989 Nilson U. - Matuszynski J.: Logic, Programming and Prolog, John Wiley 1990 Nielson R.,H. - Nielson F.: Semantics with Applications - A Formal Introduction, John Wiley 1992Aho, V. A. - Sethi, R. - Ullmann, J. D. : Compilers - Principles, Techniques, and Tools, Addison - Wesley Publishing Company 1987 Gordon, J., C.: Programming language Theory and its Implementation, Prentice Hall 1988 Bird, R. - Walder, P.: Introduction to Functional Programming, Prentice Hall 1988 Tennent, R., D.: Principles of programming languages, Prentice Hall 1981
Požadavky
Nejsou žádné prerekvizity.
Garant
prof. Ing. Tomáš Hruška, CSc.
Vyučující
prof. Ing. Tomáš Hruška, CSc.