formal semantics

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]
English Wikipedia has an article on:
Wikipedia

Noun

[edit]

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
Retrieved from "https://en.wiktionary.org/w/index.php?title=formal_semantics&oldid=78851628"