AG Programmiersprachen und Übersetzerkonstruktion

Masterabschlussseminar / Masterseminar SS2014

  • Lennart Spitzner, Mi 23.4.2014, 8:30
    Extending an Eclipse-Plugin for Curry by Features for Program Analysis, Type Checking and Debugging

  • Bastian Holst, Mi 7.5.2014, 8:30
    Integration von paralleler und fairer Suche in das Curry-System KiCS2

  • Torsten Krause, Mi 28.5.2014, 8:30
    Entwicklung eines sprachunabhängigegn Tools zum modellbasierten, schnellen Prototyping

  • Folke Will, Mi 4.6.2014, 8:30
    Steganographische Maschinencodeverschleierung (Proposalvortrag zur Masterarbeit)

  • Sandra Dylus, Mi 11.6.2014, 8:30
    Lenses and Bidirectional Programming for Curry (Proposalvortrag zur Masterarbeit)

  • Florian Micheler, Mi 9.7.2014, 8:30
    A Transaction Framework for Web-Applications in Haskell
     
  • Babak Alizadeh, Mi 16.7.2014, 8:30
    Korrektheit einer STM-Haskell-Implementierung