Semantics (computer science)

From Wiki @ Karl Jones dot com
Jump to: navigation, search

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

Description

It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved.

In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation.

Processes

Semantics describes the processes a computer follows when executing a program in that specific language.

Show by

This can be shown by:

See also

External Links