information about Operational semantics field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 55.7M papers | Programming language 7.3M papers | Semantics (computer science) 99.4k papers | |
| Current | |||
Operational semantics 8,771 papers | |||
| Child | |||
Denotational semantics 3,663 papers | Well-founded semantics 1,229 papers | Stable model semantics 1,212 papers | Computational semantics 963 papers |
Action semantics 902 papers | Negation as failure 670 papers | Communicating sequential processes 563 papers | Axiomatic semantics 521 papers |
Predicate transformer semantics 418 papers | |||
Trends