Universitšt Karlsruhe
A Structural Operational Semantics for Static-Single-Assignment Languages

Diploma thesis (closed)

Advisors

Alumni
Prof. Sabine Glesner
Jan Olaf Blech

Realizer

Former Students
Andreas Humbert
Login
Links