An Implementation of a Translational Semantics for an Imperative Language.

Lars-ke Fredlund, Bengt Jonsson, Joachim Parrow

Browse the full CONCUR paper archive.