Semantics (computer science)
From Wiki @ Karl Jones dot com
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.
Contents
[hide]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:
- Describing the relationship between the input and output of a program
- Explaning of how the program will execute on a certain Platform (computing)platform, hence creating a model of computation
See also
External Links
- Semantics (computer science) @ Wikipedia
