Jena University, Dept. of Math. and Computer Science, Inst. of Informatics 

          Programming Languages and Compilers

News:  Symposium:  "Von der Oprema bis zum Campusgrid - Ein halbes Jahrhundert Rechner in Jena"

 

Useful Tools

 Other Stuff
    FPP: the Frege Program Prover      Objekte und Objekt-Typen in 10 Konzepten (Slides, pdf)
    Concurrent Quicksort       Prize for   Peter Brömel   and    Frank Ecke
    LL(k) Animation     FSU Students at the ACM Programming Contest
    First-Follow-Anim     Comparison of FPP, NPPV and SPARK
    LR(k) Animation     German Ada Conference 2002     Talks      Proceedings


   Members and Address         Studien-Arb           Diplom-Arb

Teaching

        Research            Papers 


Institute | Home | Comments  |   Gregor Weske 2007.Oct.19  |  Jürgen Winkler 2009Apr07(psc)