KIT | KIT-Bibliothek | Impressum | Datenschutz

IncA$_L$: A DSL for Incremental Program Analysis with Lattices

Szabó, Tamás; Völter, Markus; Erdweg, Sebastian ORCID iD icon 1
1 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.
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page