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)