information about Predicate transformer semantics field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 56.5M papers | Programming language 7.4M papers | Semantics (computer science) 99.8k papers | Operational semantics 8,768 papers |
| Current | |||
Predicate transformer semantics 416 papers | |||
| Child | |||
Trends