Provably Correct Compiler Development and Implementation

Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm. Provably Correct Compiler Development and Implementation. In Uwe Kastens, Peter Pfahler, editors, Compiler Construction, 4th International Conference on Compiler Construction, CC 92, Paderborn, Germany, October 5-7, 1992, Proceedings. Volume 641 of Lecture Notes in Computer Science, pages 141-155, Springer, 1992.

Authors

Bettina Buth

This author has not been identified. Look up 'Bettina Buth' in Google

Karl-Heinz Buth

This author has not been identified. Look up 'Karl-Heinz Buth' in Google

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google

Burghard von Karger

This author has not been identified. Look up 'Burghard von Karger' in Google

Yassine Lakhnech

This author has not been identified. Look up 'Yassine Lakhnech' in Google

Hans Langmaack

This author has not been identified. Look up 'Hans Langmaack' in Google

Markus Müller-Olm

This author has not been identified. Look up 'Markus Müller-Olm' in Google