mathematical semantics

EnglishEdit

NounEdit

mathematical semantics ‎(uncountable)

  1. (computer science) A study of formal semantics of computer languages, such as denotational semantics.

QuotationsEdit