|Mon 16 - Sat 21 July 2018, Amsterdam, Netherlands|
DPA 2018 with ECOOP and ISSTA
The advent of modern declarative logical specification languages such as Flix, QL and Soufflé has facilitated the implementation of many rich program analysis tools. Declaratively specified program analysis tools have proven to be flexible enough to faithfully model real world languages, scalable, and less burdensome to extend and maintain. The goal of this workshop is to be the first venue truly dedicated to dec ...