Invariance of Approximate Semantics with Respect to Program Transformations

Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm. Invariance of Approximate Semantics with Respect to Program Transformations. In Wilfried Brauer, editor, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings. Volume 50 of Informatik-Fachberichte, pages 1-10, Springer, 1981.

Authors

Robert Giegerich

This author has not been identified. Look up 'Robert Giegerich' in Google

Ulrich Möncke

This author has not been identified. Look up 'Ulrich Möncke' in Google

Reinhard Wilhelm

This author has not been identified. Look up 'Reinhard Wilhelm' in Google