Tushar Sharma, Thomas W. Reps
A New Abstraction Framework for Affine Transformers
SAS, 2017.
@inproceedings{SAS-2017-SharmaR, author = "Tushar Sharma and Thomas W. Reps", booktitle = "{Proceedings of the 24th International Static Analysis Symposium}", doi = "10.1007/978-3-319-66706-5_17", isbn = "['978-3-319-66705-8', '978-3-319-66706-5']", pages = "342--363", publisher = "{Springer}", title = "{A New Abstraction Framework for Affine Transformers}", year = 2017, }