IncA: a DSL for the definition of incremental program analyses

Tamás Szabó, Sebastian Erdweg, Markus Völter. IncA: a DSL for the definition of incremental program analyses. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 320-331, ACM, 2016. [doi]

Abstract

Abstract is missing.