View of Coalgebraic Operational Semantics for an Imperative Language

Return to Article Details Coalgebraic Operational Semantics for an Imperative Language Download Download PDF