10 citations · 45 across the 26 of their papers we have counts for
1 paper · 2 filters
Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
We present a technique exploiting Datalog with aggregates to improve the performance of programs with arithmetic (in)equalities. Our approach employs a source-to-source program tra…