Semantics
In computer science, logic and semantic analysis deals in particular with
programming languages and their environments. The objective is to design,
improve or implement mathematical methods aiming at describing what a
program should compute as well as what it computes effectively, and to show
that these possible computations do satisfy the specifications.