Michael Colón, Sriram Sankaranarayanan
Generalizing the Template Polyhedral Domain
ESOP, 2011.
@inproceedings{ESOP-2011-ColonS, author = "Michael Colón and Sriram Sankaranarayanan", booktitle = "{Proceedings of the 20th European Symposium on Programming}", doi = "10.1007/978-3-642-19718-5_10", editor = "Gilles Barthe", isbn = "978-3-642-19717-8", pages = "176--195", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Generalizing the Template Polyhedral Domain}", volume = 6602, year = 2011, }