Steffen Mülling

According to our database, Steffen Mülling authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.

Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005