Consistent and Complementary Formal Theories of the Semantics of Programming Languages

相似书籍

• Categorical Semantics for Programming Languages
  由: He, J, et al.
  出版: (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)
• Formal Language Decomposition into Semantic Primes
  由: Johannes FÄHNDRICH, et al.
  出版: (2014-10-01)