Statická analýza a optimalizace jazyka Scheme

Bc. Tomáš Staněk

Diplomová práce

Static analysis and optimization of functional language Scheme

Anotace:

Funkcionalni jazyky ziskavaji na popularite diky jejich vyjadrovaci sile. Vykonna implementace techto jazyku vsak predstavuje vyzvu. Predkladam formalni popis globalni, polyvariantni staticke analyzy zalozene na zasobnikovych aktivacnich kontextech pro kanonickou variantu jazyka Scheme - striktniho funkcionalniho jazyka s vedlejsimy efekty a explicitnim zachazenim s tokem rizeni. Dale predkladam metodu jak tuto analyzu efektivne spocitat spolecne s prototypem prekladace.

Abstract:

Functional languages are gaining popularity because of their expressive power. An efficient implementation of those languages, however, still presents a challenge. I present a formal treatment of global poly-variant static control flow and data flow analysis based on a stack-like call contexts for a canonical subset of the language Scheme - a strict functional language with a presence of side effects and a first class flow control. Furthermore, a method for computing the analysis is given along with an proof of concept optimizing compiler.

Keywords

Scheme, Optimization, Control flow analysis, Compilation, Functional languages

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 8. 1. 2014

Obhajoba závěrečné práce

• Obhajoba proběhla 12. 2. 2014
• Vedoucí: RNDr. Libor Škarvada
• Oponent: prof. RNDr. Jiří Barnat, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika