mathematical semantics

EnglishEdit

NounEdit

mathematical semantics (uncountable)

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

QuotationsEdit

Last modified on 20 June 2013, at 11:50