Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Anastasios Antoniadis, Ilias Tsatiris, Nevill Grech +1

In this work, we present a simple, uniform, and elegant solution to the problem, with stunning practical effectiveness and application to virtually any Datalog-based analysis. The…