This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Correctness field

Correctness

https://www.wikidata.org/wiki/Q360812
Field Hierarchy
Parent
Computer science
56.2M papers
Mathematics
21.6M papers
Programming language
7.4M papers
Algorithm
4.6M papers
Current
Correctness
77.6k papers
Child
Consistency model
3,278 papers
Sequential consistency
1,563 papers
Eventual consistency
1,017 papers
Linearizability
604 papers
Causal consistency
570 papers
Hoare logic
545 papers
Trends