04//BIBLIOGRAPHY
Curated Library
A selection of classical computer science papers, system architecture documents, and visual design essays that shape my engineering principles.
Ben Moseley & Peter Marks, 2006
"Static analysis tools can help developers by allowing threading policies to be formally specified and mechanically checked. They essen-tially provide a static type system for threads, and can detectpotential race conditions and deadlocks."
Cpp