Universitšt Karlsruhe
Coalgebraic Methods in Verification of optimizing Program transformations using Theorem provers

Studien thesis (closed)

Coalgebraic Methods in Verification of optimizing Program transformations using Theorem provers

To come soon.

Advisors

Alumni
Prof. Sabine Glesner
Jan Olaf Blech

Realizer

Former Students
Johannes Leitner
Login
Links