Interpret dynamického programovacího jazyka pro vědecké výpočty
| but.committee | doc. Dr. Ing. Petr Hanáček (předseda) doc. RNDr. Pavel Smrž, Ph.D. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) doc. Ing. Petr Matoušek, Ph.D., M.A. (člen) prof. RNDr. Josef Šlapal, CSc. (člen) | cs |
| but.defence | Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: Pro jaké účely byl jazyk interpretovaný implementovaným předkladačem navržen a jaká je výpočetní rychlost takto interpretovaného jazyka? | cs |
| but.jazyk | čeština (Czech) | |
| but.program | Informační technologie | cs |
| but.result | práce byla úspěšně obhájena | cs |
| dc.contributor.advisor | Kněžík, Jan | cs |
| dc.contributor.author | Ocelík, Tomáš | cs |
| dc.contributor.referee | Orság, Filip | cs |
| dc.date.available | 2013-06-15 | cs |
| dc.date.created | 2012 | cs |
| dc.description.abstract | Práce se zabývá návrhem a popisem dynamického reflektivního jazyka, založeného na prototypování. Nejprve jsou vysvětleny principy typické pro tuto skupinu jazyků a jsou stručně popsáni známí představitelé. Dále je krátce pojednáno o jazycích pro matematické výpočty. Poté práce podrobně popisuje navržený programovací jazyk, jeho gramatiku a sémantiku. Jsou vysvětleny principy typové kontroly a dědičnosti. Je také ukázáno, jakým způsobem jsou implementovány základní řídící konstrukce známé z jiných jazyků. V další části je představen návrh virtuálního stroje pro vytvořený jazyk. Je vysvětlen použitý výpočetní model, organizace objektové paměti a interní reprezentace význačných struktur navrženého jazyka. Nakonec je rozebrána dynamická typová kontrola, překladač a způsob překladu typických konstrukcí do vnitřního kódu virtuálního stroje. | cs |
| dc.description.abstract | The master's thesis deals with design of a dynamic reflective prototype-based language. First, basic principles of this language group are explained and well known representatives are described. Then languages for scientific computing are shortly discussed. Next section of the thesis describes in detail the proposed programming language, its grammar and semantics. Principles of type checking and inheritance are explained. Thesis also demonstrates implementation of basic control structures known from other languages. Next section shows design of virtual machine for the language described before. Section explains used computational model, organization of the object memory and internal representation of important structures of the designed language. Finally, dynamic type checking, compiler and compilation of typical structures to the virtual machine internal code are discussed. | en |
| dc.description.mark | B | cs |
| dc.identifier.citation | OCELÍK, T. Interpret dynamického programovacího jazyka pro vědecké výpočty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2012. | cs |
| dc.identifier.other | 78601 | cs |
| dc.identifier.uri | http://hdl.handle.net/11012/53686 | |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoké učení technické v Brně. Fakulta informačních technologií | cs |
| dc.rights | Přístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 1 roku/let | cs |
| dc.subject | Dynamický programovací jazyk | cs |
| dc.subject | virtuální stroj | cs |
| dc.subject | objektové orientované jazyky | cs |
| dc.subject | jazyky založené na prototypech | cs |
| dc.subject | paralelismus | cs |
| dc.subject | dynamická typová kontrola | cs |
| dc.subject | překladač. | cs |
| dc.subject | Dynamic programming language | en |
| dc.subject | virtual machine | en |
| dc.subject | object-oriented programming languages | en |
| dc.subject | prototype-based languages | en |
| dc.subject | parallelism | en |
| dc.subject | dynamic type checking | en |
| dc.subject | compiler. | en |
| dc.title | Interpret dynamického programovacího jazyka pro vědecké výpočty | cs |
| dc.title.alternative | Interpreter of a Dynamic Programming Language for Scientific Computing | en |
| dc.type | Text | cs |
| dc.type.driver | masterThesis | en |
| dc.type.evskp | diplomová práce | cs |
| dcterms.dateAccepted | 2012-06-15 | cs |
| dcterms.modified | 2020-05-09-23:42:33 | cs |
| eprints.affiliatedInstitution.faculty | Fakulta informačních technologií | cs |
| sync.item.dbid | 78601 | en |
| sync.item.dbtype | ZP | en |
| sync.item.insts | 2025.03.26 15:12:38 | en |
| sync.item.modts | 2025.01.15 12:40:25 | en |
| thesis.discipline | Bezpečnost informačních technologií | cs |
| thesis.grantor | Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů | cs |
| thesis.level | Inženýrský | cs |
| thesis.name | Ing. | cs |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- review_78601.html
- Size:
- 1.46 KB
- Format:
- Hypertext Markup Language
- Description:
- file review_78601.html