Research output per year
Research output per year
Search results
-
2018
An iterative approach to precondition inference using constrained Horn clauses
Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Sondergaard, H. & Stuckey, P. J., Jul 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.Research output: Contribution to journal › Article › Research › peer-review
Open AccessFile10 Citations (Scopus) -
Reference abstract domains and applications to string analysis
Amadini, R., Gauthier, F., Schachte, P., Stuckey, P. J., Gange, G., Jordan, A., Søndergaard, H. & Zhang, C., 9 Feb 2018, In: Fundamenta Informaticae. 158, 4, p. 297-326 30 p.Research output: Contribution to journal › Article › Research › peer-review
9 Citations (Scopus)