IncA$_L$: A DSL for Incremental Program Analysis with Lattices
Szabó, Tamás; Völter, Markus; 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)
Abstract (englisch):
We describe IncA$_L$, a DSL for incremental lattice-based program analyses. IncAL is an extension of our previous work, IncA, which supported relational program analyses, that has been used for practically relevant analyses on industrial code bases. IncA$_L$ improves the expressive power of IncA by adding support for synthesis of data, enabling, for example, incremental execution of interval analysis.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2017 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000188579 |
| Erschienen in | International Workshop on Incremental Computing (IC); Barcelona, Spanien, 18.-23.06.2017 |
| Veranstaltung | ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), Barcelona, Spanien, 18.06.2017 – 23.06.2017 |
| Seiten | 2 S. |