Similar Items
-
From Algebra to Operational Semantics
by: Hoare, C, et al.
Published: (2015) -
Algebraic derivation of an operational semantics
by: Hoare, C, et al.
Published: (2000) -
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
by: Hoare, C
Published: (2015) -
Algebra Unifies Operational Calculi
by: van Staden, S, et al.
Published: (2012) -
Categorical Semantics for Programming Languages
by: He, J, et al.
Published: (1989)