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

     Programming Languages and Compilers            

 

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    

   Prüfungs-Termine        Studien-Arb         Diplom-Arb

Teaching

        Research            Papers 


Institute | Home | Comments  |   Gregor Weske 2007.Oct.19  |  Jürgen Winkler 2008Jun04 (www1)