IncAL: A DSL for Incremental Program Analysis with Lattices

Tamas Szabo (Speaker), Markus Völter (Speaker), Erdweg, S. (Speaker)

Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting


We describe IncAL, 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. IncAL improves the expressive power of IncA by adding support for synthesis of data, enabling, for example, incremental execution of interval analysis.
Period22 Jun 2017
Event titleIC 2017 First Workshop on Incremental Computing (IC)
Event typeWorkshop
LocationBarcelona, Spain