Conference
TACAI: an intermediate representation based on abstract interpretation
| Title: | TACAI: an intermediate representation based on abstract interpretation |
|---|---|
| Authors: | Reif, Michael, Kübler, Florian, Helm, Dominik, Hermann, Ben, Eichberg, Michael, Mezini, Mira |
| Source: | Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :2-7 |
| Availability: | http://dl.acm.org/doi/10.1145/3394451.3397204 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!