An implementation of a translational semantics for an imperative language

• Authors:

• Lars-åke Fredlund;Bengt Jonsson;Joachim Parrow

• Affiliations:

• -;-;-

• Venue:
• CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
• Year:
• 1990