From Algebra to Operational Semantics

مواد مشابهة

• Algebraic derivation of an operational semantics
  حسب: Hoare, C, وآخرون
  منشور في: (2000)
• From Algebra to Operational Semantics
  حسب: He, J, وآخرون
  منشور في: (1993)
• A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
  حسب: Hoare, C
  منشور في: (2015)
• Algebra Unifies Operational Calculi
  حسب: van Staden, S, وآخرون
  منشور في: (2012)
• Algebra and Models
  حسب: Hoare, C
  منشور في: (1993)