Zpět na vyhledávání

Bc. Tomáš Staněk

Master's thesis

Statická analýza a optimalizace jazyka Scheme

Static analysis and optimization of functional language Scheme
Abstract:
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 …more
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 …more
 

Keywords

Scheme Optimization Control flow analysis Compilation Functional languages
 
Language used: English
Date on which the thesis was submitted / produced: 8. 1. 2014
Identifier: https://is.muni.cz/th/rghx7/

Thesis defence

  • Date of defence: 12. 2. 2014
  • Supervisor: RNDr. Libor Škarvada
  • Reader: prof. RNDr. Jiří Barnat, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Theoretical Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.