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 available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.