A program analysis framework for tccp based on abstract interpretation

Marco Comini, Maria-del-Mar Gallardo, Laura Titolo, and Alicia Villanueva

January 2017