Závěrečná práce: Tomáš Staněk, učo 72781: Překladač jazyka Scheme
Bakalářská práce
Překladač jazyka Scheme
Scheme compiler
Tomáš Staněk, učo 72781
Anotace
Cílem práce je implementovat překladač jazyka Scheme společně s globální statickou analýzou toku a hodnot. Sémantika jazyka má odpovídat standardu r5rs.
Abstract
The goal of the thesis is to implement compiler of the Scheme language which performs global static control flow analysis. The semantics of the language should correspond to the r5rs standard.
Zadání práce
Navrhněte a realizujte překladač jazyka Scheme do jazyka C.
Překladač by měl
Překladač by měl
- podporovat standard R5RS,
- optimalizovat kód na základě globální tokové analýzy
Práce zkontrolována:
11. 10. 2008 12:58, (IS automaticky)
11. 10. 2008 12:58, (IS automaticky)
- Zadáno/změněno 6. 2. 2008 15:45, Eva Drštková
- Záznam založen 3. 4. 2007 13:21, Eva Drštková
- Zveřejnit od 7. 1. 2008 13:29, Eva Drštková
- Práce převzata 7. 1. 2008 13:29, Eva Drštková
Jazyk práce
Termín obhajoby
6. 2. 2008
Práce byla úspěšně obhájena
Vedoucí
RNDr. Libor Škarvada
abs PřF MU
abs PřF MU
Studijní program
Informatika
Obor
Práce na příbuzné téma
Seznam prací, které mají shodná klíčová slova.
-
Zjišťování podobnosti malware
Mgr. Ondřej Fujtík -
Nástroj na automatickou detekci chyb v jazyce C
Mgr. Jan Šťastný, učo 173461 -
C++ support for Stanse
Mgr. Martin Vejnár, učo 172430 -
A Framework for Abstract Interpretation in the GraalVM Native Image Java Compiler
Bc. Samuel Malec -
Překlad a analýza VHDL programů prostřednictvím XML mezikódu
Mgr. Zdeněk Řehák, učo 72769 -
Detekce bezpečnostních chyb pomocí statické analýzy kódu
Mgr. David Formánek -
Statická analýza ukazatelů pro jazyk C
Mgr. Michal Strehovský, učo 139566 -
LLVM IR service for Fedora
Mgr. Michal Toman, učo 324521
Název
Vložil
Vloženo
Práva




