Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Semantics (computer science)
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
| Part of a series on |
| Formal languages |
|---|
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages.[1] Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.
Semantics describes the processes a computer follows when executing a program in that specific language. This can be done by describing the relationship between the input and output of a program, or giving an explanation of how the program will be executed on a certain platform, thereby creating a model of computation.
- ^ Goguen, Joseph A. (1975). "Semantics of computation". Category Theory Applied to Computation and Control. Lecture Notes in Computer Science. Vol. 25. Springer. pp. 151–163. doi:10.1007/3-540-07142-3_75. ISBN 978-3-540-07142-6.
Previous Page Next Page
Formale Semantik ALS علم الدلالة الشكلي Arabic Semantika (informatika) AZ Sémantika programovacích jazyků Czech Семантика (программăлани) CV Formale Semantik German Τυπική σημασιολογία των γλωσσών προγραμματισμού Greek Semántica de lenguajes de programación Spanish معنیشناسی (علوم رایانه) FA Sémantique des langages de programmation French
