Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog
Szabó, Tamás; Bergmann, Gábor; Erdweg, Sebastian
1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
11 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000188593 |
| Erschienen in | International Workshop on Incremental Computing (IC); Athen, Griechenland, 20.-25.10.2019 |
| Veranstaltung | International Workshop on Incremental Computing (IC 2019), Athen, Griechenland, 20.10.2019 – 25.10.2019 |
| Seiten | 3 S. |