Conference
TACAI: an intermediate representation based on abstract interpretation
| Τίτλος: | TACAI: an intermediate representation based on abstract interpretation |
|---|---|
| Συγγραφείς: | Reif, Michael, Kübler, Florian, Helm, Dominik, Hermann, Ben, Eichberg, Michael, Mezini, Mira |
| Πηγή: | Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :2-7 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3394451.3397204 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3394451.3397204 |
|---|