A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)
2014
Dagstuhl Reports
This report documents the program and the outcomes of Dagstuhl Seminar 14351 "Decision Procedures and Abstract Interpretation". The seminar brought together practitioners and reseachers in abstract interpretation and decision procedures. The meeting highlighted the connections between the two disciplines, and created new links between the two research communities. Joint activities were also conducted with the participants of Dagstuhl Seminar 14352 "Next Generation Static Software Analysis Tools", which was held concurrently.
doi:10.4230/dagrep.4.8.89
dblp:journals/dagstuhl-reports/KroeningRST14
fatcat:krpfysvrdjfidnjxnrxp77w7yu