Invariance of Approximate Semantics with Respect to Program Transformations.

Robert Giegerich, Ulrich Mncke, Reinhard Wilhelm

Browse the full GI paper archive.