From Algebra to Operational Semantics
Váldodahkkit: | Hoare, C, He, J, Sampaio, A |
---|---|
Materiálatiipa: | Record |
Almmustuhtton: |
2015
|
Geahča maid
-
Algebraic derivation of an operational semantics
Dahkki: Hoare, C, et al.
Almmustuhtton: (2000) -
From Algebra to Operational Semantics
Dahkki: He, J, et al.
Almmustuhtton: (1993) -
A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Dahkki: Hoare, C
Almmustuhtton: (2015) -
Algebra Unifies Operational Calculi
Dahkki: van Staden, S, et al.
Almmustuhtton: (2012) -
Semantics for a Quantum Programming Language by Operator Algebras
Dahkki: Kenta Cho
Almmustuhtton: (2014-12-01)