Reference Abstract Domains and Applications to String Analysis
Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang
Fundamenta Informaticae | IOS PRESS | Published : 2018
Related Projects (2)
Awarded by Australian Research Council
We thank the anonymous reviewers for helpful comments on our initial manuscript. The work has been supported by the Australian Research Council through Linkage Project Grant LP140100437 and Discovery Early Career Researcher Award DE160100568.