Semantics (computer science)
In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation.
- Ability105616246
- Abstraction100002137
- Cognition100023271
- Communication100033020
- GrammaticalRelation113796779
- Inflection113803782
- Know-how105616786
- Language106282651
- LinguisticRelation113797142
- Method105660268
- Paradigm113804375
- PsychologicalFeature100023100
- Relation100031921
- Thing
- WikicatFormalMethods
- WikicatFormalSpecificationLanguages
- WikicatProgrammingParadigms
- Comment
- enIn programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation.
- DifferentFrom
- Computational semantics
- Has abstract
- enIn programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will be executed on a certain platform, hence creating a model of computation.
- Hypernym
- Field
- Is primary topic of
- Semantics (computer science)
- Label
- enSemantics (computer science)
- Link from a Wikipage to an external page
- web.archive.org/web/20070627041059/https:/www.cs.cmu.edu/~rwh/plbook/book.pdf
- www.cs.cmu.edu/~rwh/plbook/book.pdf
- books.google.com/books%3Fid=K7N7QgAACAAJ
- books.google.com/books%3Fid=oPi0yERDUeYC
- books.google.com/books%3Fid=ynigSICJflYC
- www.cl.cam.ac.uk/~gw104/dens.pdf
- www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf
- cs.brown.edu/courses/cs173/2012/book/
- www.cs.uiowa.edu/~slonnegr/plf/Book/
- www.lix.polytechnique.fr/~catuscia/teaching/cg520/papers_and_books/Mitchell_book.ps.gz
- web.archive.org/web/20150619164601/http:/www.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/semantic.htm%7Carchive-date=2015-06-19
- www.emu.edu.tr/aelci/Courses/D-318/D-318-Files/plbook/semantic.htm%7Curl-status=bot:
- archive.org/details/theoriesofprogra0000reyn
- www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf
- Link from a Wikipage to another Wikipage
- Abstract interpretation
- Abstraction (computer science)
- Abstract machine
- Action semantics
- Actor model
- Algebra
- Algebraic semantics (computer science)
- Attribute grammar
- Axiom
- Axiomatic semantics
- Categorical semantics
- Category:Formal methods
- Category:Formal specification languages
- Category:Logic in computer science
- Category:Programming language semantics
- Category theory
- Command (computing)
- Compiler
- Computation
- Computational semantics
- Computer platform
- Computer science
- Concurrency semantics
- Conditional (computer programming)
- Context-free languages
- Context-sensitive languages
- Denotation (semiotics)
- Denotational semantics
- Domain theory
- Edsger W. Dijkstra
- Execution (computing)
- Formal methods
- Formal semantics (linguistics)
- Formal semantics (logic)
- Formal verification
- Functional programming language
- Game semantics
- Game theory
- Hoare logic
- Interpreter (computing)
- Lambda calculus
- Mathematical logic
- Metadata
- Model checking
- Model of computation
- Model theory
- Ontology
- Ontology (information science)
- Operational semantics
- Postcondition
- Precondition
- Predicate transformer semantics
- Process calculi
- Programming language
- Programming language design
- Programming language syntax
- Programming language theory
- Program semantics
- Program verification
- Regular languages
- Robert W. Floyd
- SECD machine
- Semantic equivalence
- Semantic technology
- Set theory
- Simulation
- String (computer science)
- Syntax (programming languages)
- Tony Hoare
- Type theory
- SameAs
- Formale Semantik
- Formale Semantik
- Formalna semantika programskih jezika
- m.023h0k
- Q1437428
- SdKd
- Semántica de lenguajes de programación
- Semântica formal
- Semantica formale
- Semantics (computer science)
- Semantika
- Sémantika programovacích jazyků
- Sémantique des langages de programmation
- Τυπική σημασιολογία των γλωσσών προγραμματισμού
- Семантика (программăлани)
- Семантика (программирование)
- Семантика мов програмування
- Семантика на програмски јазик
- Семантика програмских језика
- علم الدلالة الشكلي
- معنیشناسی (علوم رایانه)
- プログラム意味論
- 形式语义学
- Subject
- Category:Formal methods
- Category:Formal specification languages
- Category:Logic in computer science
- Category:Programming language semantics
- WasDerivedFrom
- Semantics (computer science)?oldid=1122906220&ns=0
- WikiPageLength
- 16947
- Wikipage page ID
- 397608
- Wikipage revision ID
- 1122906220
- WikiPageUsesTemplate
- Template:Cite book
- Template:Cite web
- Template:Confuse
- Template:More footnotes
- Template:R
- Template:Refbegin
- Template:Reflist
- Template:Short description