Code Roots
No abstract available.
DOI 10.1007/978-3-642-14107-2_1
Related papers
- Root Causing Linearizability Violations CAV 2020
- The root cause of blame: contracts for intersection and union types OOPSLA 2018
- Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences OOPSLA 2020
- Identifying scalability bottlenecks for large-scale parallel programs with graph analysis PPoPP 2020
- Verified Root-Balanced Trees APLAS 2017
- Constant-Time Root Scanning for Deterministic Garbage Collection CC 2001
- A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages ISMM 1992
- A Formal Proof of Square Root and Division Elimination in Embedded Programs CPP 2012