Research Concept

Semantics (computer science)

the field concerned with the rigorous mathematical study of the meaning of programming languages