information about Operational semantics field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.9M papers | Programming language 7.7M papers | Semantics (computer science) 103k papers | |
Current | |||
Operational semantics 9,604 papers | |||
Child | |||
Denotational semantics 3,891 papers | Stable model semantics 1,399 papers | Well-founded semantics 1,305 papers | Computational semantics 1,280 papers |
Action semantics 1,037 papers | Negation as failure 813 papers | Axiomatic semantics 593 papers | Communicating sequential processes 577 papers |
Normalisation by evaluation 447 papers |
Trends
Notes
History