Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Նմանատիպ նյութեր

• Categorical Semantics for Programming Languages
  ‌: He, J, և այլն
  Հրապարակվել է: (1989)
• A Model for Programming Language Semantics
  ‌: Hoare, C
  Հրապարակվել է: (1975)
• A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
  ‌: Hoare, C
  Հրապարակվել է: (2015)
• Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
  ‌: Michael Yoshitaka Erlewine
  Հրապարակվել է: (2021-03-01)
• A theory of programming language semantics /
  ‌: 348582 Milne, Robert, և այլն
  Հրապարակվել է: (1976)