DPA
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United StatesDPA 2019 with PLDI 2019The 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, NetherlandsDPA 2018 with ECOOP and ISSTA 2018The 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 ... |
