Proof-Transforming Compilation of Eiffel Programs

Martin Nordio, Peter Müller, Bertrand Meyer. Proof-Transforming Compilation of Eiffel Programs. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 316-335, Springer, 2008. [doi]

Authors

Martin Nordio

This author has not been identified. Look up 'Martin Nordio' in Google

Peter Müller

This author has not been identified. Look up 'Peter Müller' in Google

Bertrand Meyer

Identified as Bertrand Meyer