information about Operational semantics field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 61.9M papers | Programming language 7.6M papers | Semantics (computer science) 101k papers | |
Current | |||
Operational semantics 9,554 papers | |||
Child | |||
Denotational semantics 3,870 papers | Stable model semantics 1,394 papers | Well-founded semantics 1,302 papers | Computational semantics 1,275 papers |
Action semantics 1,031 papers | Negation as failure 803 papers | Axiomatic semantics 592 papers | Communicating sequential processes 574 papers |
Normalisation by evaluation 443 papers |
Trends
Notes
History