Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice
| Title: | Symbolic MRD: Dynamic Memory, Undefined Behaviour, and Extrinsic Choice |
|---|---|
| Authors: | Richards, Jay; Wright, Daniel; Cooksey, Simon; Batty, Mark |
| Source: | Proceedings of the ACM on Programming Languages. 9(OOPSLA1):1858-1882 |
| Availability: | http://dl.acm.org/doi/10.1145/3721089 |
| Database: | ACM Full-Text Collection |