Pattern matching in compilers

• Název práce v češtině: Pattern matching in compilers
• Název v anglickém jazyce: Pattern matching in compilers
• Klíčová slova: překladač,vyhledávání vzorů,parser, lexikální analýza, generování kódu, optimalizace,packrat parsing
• Klíčová slova anglicky: pattern matching, compiler, parser, lexical analysis, code generation, optimization,packrat parsing
• Akademický rok vypsání: 2011/2012
• Typ práce: diplomová práce
• Jazyk práce: angličtina
• Ústav: Katedra aplikované matematiky (32-KAM)
• Vedoucí / školitel: doc. Mgr. Jan Hubička, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 31.10.2011
• Datum zadání: 31.10.2011
• Datum potvrzení stud. oddělením: 08.12.2011
• Datum a čas obhajoby: 18.09.2012 10:00
• Datum odevzdání elektronické podoby: 03.08.2012
• Datum odevzdání tištěné podoby: 03.08.2012
• Datum proběhlé obhajoby: 18.09.2012
• Oponenti: Mgr. Martin Mareš, Ph.D.

Zásady pro vypracování

Velká část problémů řešených při překladu programovacích jazyků lze považovat
za formu rozpoznávání vzorů (pattern matching). Jedná se například o lexikální analýzu,
parser, jednotlivé optimalizace a nebo volbu instrukcí. Student se seznámí s
moderními metodami optimalizace i konstrukce efektivních parserů. Implementuje
nástroj pro generování zobecněných parserů z jejich gramatik, které pracují
lineárním čase, a za jeho pomoci implementuje jednoduchý překladač ukázkového
jazyka. Výzkum se zaměří zejména na optimalizace těchto gramatik pro co
nejefektivnější výslednou implementaci.

Seznam odborné literatury

Alessandro Warth: Experimenting with Programming Languages, disertace, 2009

Steven Muchnick: Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997

Bob Morgan: Building an Optimizing Compiler, Digital Press, 1998

Bryan Ford: Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking, disertace, 2002