formal semantics

English

Noun

formal semantics (uncountable)

  1. The study of the semantics, or interpretations, of formal languages.
  2. (computer science) the rigorous mathematical study of the meaning of programming languages
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.