Correctness (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
In the recent years, different web knowledge graphs, both free and commercial, have been created. While Google coined the term… (More)
Transactional memory (TM) is perceived as an appealing alternative to critical sections for general purpose concurrent… (More)
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse… (More)
Despite our best efforts and intentions as educators, student programmers continue to struggle in acquiring comprehension and… (More)
T o accelerate hardware development, designers often employ software models of the hardware they build. They implement these… (More)
Graphical models, such as Bayesian networks and Markov random fields, represent statistical dependencies of variables by a graph… (More)
- ACM Trans. Program. Lang. Syst.
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent… (More)
Concurrencey Control and Recovery in Database Systems. P.A. Bernstein. Copyright 1987, Addison-Wesley, Reading. Hardcover in fine… (More)
Semantic analysis of programs is essential in optimizingcompilers and program verification systems. It encompasses dataflow… (More)
A powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of… (More)