information about Correctness field
Field Hierarchy
| Parent | |||
|---|---|---|---|
Computer science 61.9M papers | Mathematics 21.8M papers | Programming language 7.6M papers | Algorithm 4.6M papers |
| Current | |||
Correctness 75.9k papers | |||
| Child | |||
Consistency model 3,167 papers | Sequential consistency 1,526 papers | Eventual consistency 940 papers | Hoare logic 613 papers |
Linearizability 589 papers | Causal consistency 576 papers | ||
Trends
Notes
History