DPA 2019
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
All Editions
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States

DPA 2019 with PLDI 2019

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 ...

Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

DPA 2018 with ECOOP and ISSTA 2018

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 ...