Natural Semantics for Imperative and Object-Oriented Programming Languages

Sabine Glesner. Natural Semantics for Imperative and Object-Oriented Programming Languages. In GI Jahrestagung. pages 370-379, 1999.

Abstract

Abstract is missing.