Závěrečné práce studentů z předmětu Teorie programovacích jazyků

2002/2003

2003/2004

• Zimní semestr 2003/2004
  • Burger,T.: Typové systémy objektově orientovaných programovacích jazyků
  • Lukáš,R.: Semestrální práce
  • Škrtal,O.: Denotační sémantika
  • Švec,M.: Programovací jazyk a aplikační prostředí Self

2004/2005

• Zimní semestr 2004/2005
  • Kopeček,T.: Simulation of Scattered Context Grammars and Phrase-Structured GRammars by Symbiotic E0L Grammars
  • Petrucha,R.: Využití ontologií k řízení přístupu

2005/2006

• Zimní semestr 2005/2006
  • Bidlo,R.: Formální modely jazyků založené na automatech a jejich modifikace
  • Blatný,P.: Gramatiky nad volnými grupami
  • Grulich,L.: Jazyk pro reprezentaci znalostí(srovnání formálních logických systémů)
  • Křivka,Z.: Využití řízených gramatik v programovacích jazycích
  • Rychlý,M.:Použití pi-kalkulu v UML