SA4U: Practical Static Analysis for Unit Type Error Detection
| Title: | SA4U: Practical Static Analysis for Unit Type Error Detection |
|---|---|
| Authors: | Taylor, Max; Aurand, Johnathon; Qin, Feng; Wang, Xiaorui; Henry, Brandon; Zhang, Xiangyu |
| Source: | Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. :1-11 |
| Availability: | http://dl.acm.org/doi/10.1145/3551349.3556937 |
| Database: | ACM Full-Text Collection |