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)
• Formal semantics for natural language
  द्वारा: Kepa Korta, और अन्य
  प्रकाशित: (1993-04-01)
• Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language
  द्वारा: Michael Yoshitaka Erlewine
  प्रकाशित: (2021-03-01)