semantics of programming languages

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:academic
gptkbp:hasApplication formal verification
static analysis
type systems
language design
program transformation
gptkbp:hasSubfield denotational semantics
axiomatic semantics
operational semantics
https://www.w3.org/2000/01/rdf-schema#label semantics of programming languages
gptkbp:importantPublication gptkb:A_Discipline_of_Programming
gptkb:Notes_on_Programming_Language_Design
The next 700 programming languages
gptkbp:notableFigure gptkb:Dana_Scott
gptkb:Tony_Hoare
gptkb:John_C._Reynolds
gptkb:Christopher_Strachey
gptkbp:relatedTo gptkb:programming_language
syntax of programming languages
gptkbp:studies meaning of programming languages
gptkbp:taughtAt computer science
gptkbp:usedIn formal methods
program verification
compiler construction
gptkbp:bfsParent gptkb:Andrew_M._Pitts
gptkb:order_theory
gptkbp:bfsLayer 6