Difference between revisions of "Semantics (computer science)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→Description) |
Karl Jones (Talk | contribs) |
||
| Line 27: | Line 27: | ||
* [http://en.wikipedia.org/wiki/Semantics_(computer_science) Semantics (computer science)] @ Wikipedia | * [http://en.wikipedia.org/wiki/Semantics_(computer_science) Semantics (computer science)] @ Wikipedia | ||
| + | |||
| + | [[Category:Computer programming]] | ||
| + | [[Category:Computer science]] | ||
| + | [[Category:Computing]] | ||
| + | [[Category:Language]] | ||
| + | [[Category:Web design and development]] | ||
Latest revision as of 06:50, 25 April 2016
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:
- 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
