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"