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