information about Operational semantics field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 54.8M papers | Programming language 7.2M papers | Semantics (computer science) 97k papers | |
| Current | |||
Operational semantics 8,679 papers | |||
| Child | |||
Denotational semantics 3,625 papers | Well-founded semantics 1,227 papers | Stable model semantics 1,210 papers | Computational semantics 964 papers |
Action semantics 895 papers | Negation as failure 681 papers | Communicating sequential processes 552 papers | Axiomatic semantics 506 papers |
Predicate transformer semantics 419 papers | |||
Trends
Notes
History