Překladač podmnožiny jazyka Python

but.committeeprof. RNDr. Alexandr Meduna, CSc. (předseda) prof. Ing. Tomáš Hruška, CSc. (místopředseda) Ing. Michal Bidlo, Ph.D. (člen) prof. Ing. Jan Holub, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen) doc. Ing. František Zbořil, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté 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 C Otázky u obhajoby: Můžete definovat konkrétní typ a generický typ ? Sekce 4.1.3 se zabývá čtením indexu třídy. Je možné přistupovat k indexu n-tice (angl. n-tuple) pomocí proměnné, nebo je vždy nezbytné indexovat konstantním výrazem?  Jaké úpravy by vyžadovala podpora překladu modulů?cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorKolář, Dušancs
dc.contributor.authorFalhar, Radekcs
dc.contributor.refereeKřivka, Zbyněkcs
dc.date.accessioned2020-06-23T08:18:41Z
dc.date.available2020-06-23T08:18:41Z
dc.date.created2014cs
dc.description.abstractPython je dynamicky typovaný, interpretovaný programovací jazyk. Díky dynamickému typovému systému je tedy obtížné jej zkompilovat do statického zdrojového kódu. Tedy kódu, kde je přesně dáno, jaké typy existují a jaká je jejich struktůra. Existuje několik způsobů jak tohoto dosáhnout a jedním z primárních je typová inference. Tento přístup se snaží určit struktura typů ze zdrojového kódu. V případě jazyka Python je však tento přístup obtížný, protože výsledný typový systém je velice komplexní a jazyk samotný není k typové inferenci navržen. V této práci jsem se zaměřil na identifikaci podmnožiny tohoto jazyka, aby byla možná typová inference při zachování co nejpřirozenějšího použití jazyka. Následně jsem implementoval překladač, který tuto podmnožinu přeloží do staticky typovaného jazyka, který pak lze přeložit do nativního kódu.cs
dc.description.abstractPython is dynamically typed interpreted programming language. Thanks to its dynamic type system, it is difficult to compile it into statically typed source code. The kind of source code, where it is exactly specified what types exist and what their structure is. Multiple approaches exist how to achieve this and one of the primary ones is type inference. This approach is attempting to infer the type structure from the source code. In case of Python language, this approach is difficult, because resulting type system is quite complex and language itself is not designed for type inference. In this work, I have focused on identifying subset of this language, so that type inference is possible while keeping the natural way the language is used. Then I implemented a compiler, which will compile this subset into statically typed language, which can be translated into native code.en
dc.description.markCcs
dc.identifier.citationFALHAR, R. Překladač podmnožiny jazyka Python [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.cs
dc.identifier.other78948cs
dc.identifier.urihttp://hdl.handle.net/11012/53268
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectPythoncs
dc.subjectpřekladačcs
dc.subjecttypová inferencecs
dc.subjectC++cs
dc.subjectHindley-Millnercs
dc.subjectPythonen
dc.subjectcompileren
dc.subjecttype inferrenceen
dc.subjectC++en
dc.subjectHindley-Millneren
dc.titlePřekladač podmnožiny jazyka Pythoncs
dc.title.alternativeA Compiler of Language Python Subseten
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2014-06-24cs
dcterms.modified2020-05-09-23:43:18cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid78948en
sync.item.dbtypeZPen
sync.item.insts2021.11.12 09:07:20en
sync.item.modts2021.11.12 08:30:53en
thesis.disciplineInformační systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.33 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Loading...
Thumbnail Image
Name:
review_78948.html
Size:
1.43 KB
Format:
Hypertext Markup Language
Description:
review_78948.html
Collections