Semantics of programming languages
GPTKB entity
Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:appliesTo |
gptkb:programming_language
|
| gptkbp:fieldOfStudy |
computer science
|
| gptkbp:goal |
define program meaning precisely
enable reasoning about programs facilitate program verification support language design |
| gptkbp:hasApplication |
software engineering
optimization program correctness security analysis language interoperability |
| gptkbp:hasMethod |
gptkb:logic
gptkb:category_theory model theory proof theory |
| gptkbp:hasSubfield |
formal semantics
dynamic semantics informal semantics static semantics |
| https://www.w3.org/2000/01/rdf-schema#label |
Semantics of programming languages
|
| gptkbp:includes |
denotational semantics
axiomatic semantics operational semantics |
| gptkbp:notableContributor |
gptkb:Dana_Scott
gptkb:Tony_Hoare gptkb:Gordon_Plotkin gptkb:John_C._Reynolds gptkb:Christopher_Strachey |
| gptkbp:notableIdea |
gptkb:lambda_calculus
gptkb:logic gptkb:Hoare_logic domain theory structural operational semantics abstract interpretation natural semantics |
| gptkbp:notablePublication |
Semantics of Programming Languages: Structures and Techniques (book)
The Formal Semantics of Programming Languages (book) Introduction to the Theory of Programming Languages (book) |
| gptkbp:relatedTo |
syntax of programming languages
|
| gptkbp:studies |
meaning of programming languages
|
| gptkbp:taughtAt |
university computer science curriculum
|
| gptkbp:usedFor |
formal verification
language design compiler construction program analysis |
| gptkbp:bfsParent |
gptkb:Monoid_in_Category_of_Endofunctors
|
| gptkbp:bfsLayer |
7
|