Untergeordnete Navigation

Forschungsgruppe vom LuFG Programmiersprachen und Verifikation gewinnt bei der Termination Competition 2014 zwei von drei Medaillen

Mit ihrem Terminierungs-Analyse Tool AProVE gewannen die Wissenschaftler in den Bereichen Termination of Programming Languages und Termination of Term Rewriting den ersten Platz und erreichten im Bereich Complexity Analysis of Term Rewriting den zweiten Platz.



mehr


12.08.2014