programming language semantics (Q897)

From Azupedia
Revision as of 20:26, 27 January 2023 by Fire (talk | contribs) (‎Created a new Item: programming language semantics, the field concerned with the rigorous mathematical study of the meaning of programming languages)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
the field concerned with the rigorous mathematical study of the meaning of programming languages
  • semantics
  • formal semantics
  • program semantics
Language Label Description Also known as
English
programming language semantics
the field concerned with the rigorous mathematical study of the meaning of programming languages
  • semantics
  • formal semantics
  • program semantics

Statements