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