From Algebra to Operational Semantics
Huvudupphovsmän: | Hoare, C, He, J, Sampaio, A |
---|---|
Materialtyp: | Record |
Publicerad: |
2015
|
Liknande verk
Liknande verk
-
Algebraic derivation of an operational semantics
av: Hoare, C, et al.
Publicerad: (2000) -
From Algebra to Operational Semantics
av: He, J, et al.
Publicerad: (1993) -
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
av: Hoare, C
Publicerad: (2015) -
Algebra Unifies Operational Calculi
av: van Staden, S, et al.
Publicerad: (2012) -
Semantics for a Quantum Programming Language by Operator Algebras
av: Kenta Cho
Publicerad: (2014-12-01)