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)