Definitions of formal semantics:
- noun: The study of the semantics, or interpretations, of formal languages.
- noun: (computer science) the rigorous mathematical study of the meaning of programming languages
(Definitions from Wiktionary)
Related words...
|
|
|
| |