A Differential Approach to Undefined Behavior Detection.
| Autor: | XI WANG1 xi@cs.washington.edu, ZELDOVICH, NICKOLAI1, FRANS KAASHOEK, M.1, SOLAR-LEZAMA, ARMANDO1 |
|---|---|
| Zdroj: | ACM Transactions on Computer Systems. Mar2015, Vol. 33 Issue 1, p1:1-1:29. 29p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|