Kompilace bajtkódu jazyka Sky do C++

• Název práce v češtině: Kompilace bajtkódu jazyka Sky do C++
• Název v anglickém jazyce: Compiling Sky bytecode into C++
• Akademický rok vypsání: 2009/2010
• Typ práce: diplomová práce
• Jazyk práce: čeština
• Ústav: Katedra softwarového inženýrství (32-KSI)
• Vedoucí / školitel: RNDr. Jakub Yaghob, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 12.11.2009
• Datum zadání: 12.11.2009
• Datum a čas obhajoby: 13.09.2010 00:00
• Datum odevzdání elektronické podoby: 13.09.2010
• Datum proběhlé obhajoby: 13.09.2010
• Oponenti: RNDr. David Bednárek, Ph.D.

Zásady pro vypracování

Programovací jazyk Sky je funkcionální jazyk určený pro distribuované zpracování dat. V současné době existuje implementace překladače jazyka
Sky do bajtkódu, který je pak interpretován virtuálním strojem Sky. Nároky dnes kladené na rychlost zpracování dat značně převyšují možnosti
virtuálního stroje, který interpretuje instrukce na základě bajtkódu.

Cílem práce je zrychlení vykonávání instrukcí virtuálního stroje interpretujícího bajtkód jazyka Sky pomocí překladu bajtkódu do jazyka C++. Při implementaci je nutné, aby výkonný kód instrukcí bajtkódu mohl být sdílen mezi klasickým virtuálním strojem (dynamickým) a zrychleným (statickým) a tím zajistit kontinualitu vývoje virtuálního stroje i pro jeho současné autory. Je třeba navrhnout a implementovat překlad instrukcí tak, aby bylo možné zachovat dynamické vykonávání některých instrukcí.

Seznam odborné literatury

Definice jazyka Sky:
http://joni.heaven-industries.com/~davidb/skylr.txt

Překladače:
Aho, Sethi, Ullman: Compilers - Principles, Techniques, and Tools
Muchnick: Advanced Compiler Design and Implementation